From 3564665b44915841ec4bc8ac29ce7a846146693a Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 8 Jan 2014 03:36:55 -0800
Subject: [PATCH] feat(emacs): additional abbreviations

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 emacs/lean.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/emacs/lean.el b/emacs/lean.el
index 0834f0774..5e8d1505b 100644
--- a/emacs/lean.el
+++ b/emacs/lean.el
@@ -14,6 +14,10 @@
     ("leq"     "≤")
     ("Nat"    "ℕ")
     ("Int"    "ℤ")
+    ("var"    "variable")
+    ("vars"   "variables")
+    ("def"    "definition")
+    ("th"     "theorem")
     ))
 
 (define-generic-mode