diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index 62d115e8f..09ff58ce2 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -96,10 +96,7 @@
   (local-set-key (kbd "TAB") 'lean-tab-indent-or-complete))
 
 (define-abbrev-table 'lean-abbrev-table
-  '(("var"    "variable")
-    ("vars"   "variables")
-    ("def"    "definition")
-    ("th"     "theorem")))
+  '())
 
 (defvar lean-mode-map (make-sparse-keymap)
   "Keymap used in Lean mode")