1 files changed, 2 insertions, 0 deletions

diff --git a/.emacs b/.emacs
index b61bb67..c56534f 100644
--- a/.emacs
+++ b/.emacs
@@ -153,3 +153,5 @@
 
 ;;; ACL2
 (load "~/acl2-8.3/emacs/emacs-acl2.el")
+(put 'defthm 'lisp-indent-function 1)
+