diff options
Diffstat (limited to 'emacs/inits/25-theorems.el')
| -rw-r--r-- | emacs/inits/25-theorems.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/emacs/inits/25-theorems.el b/emacs/inits/25-theorems.el index f5ab26b..e45648a 100644 --- a/emacs/inits/25-theorems.el +++ b/emacs/inits/25-theorems.el @@ -1,4 +1,4 @@ -;; Time-stamp: <2020-01-08 18:37:56 (tslil@bison)> +;; Time-stamp: <2020-01-28 15:23:07 (tslil@bison)> ;; ----------------------------------------------------------------------------- ;; Coq @@ -45,7 +45,7 @@ :binary "hoqtop" :args nil))) -(defvar use-coq-env "HoTT") +(defvar use-coq-env "UniMath") (defun mike-implicify (ntimes) (interactive "p") |