diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2015-01-05 11:41:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2015-01-05 11:41:31 +0000 |
commit | 855e97db6dc47848dc9c9193a35c4294b7ff7486 (patch) | |
tree | 68c3c2462758cbd56e35fb971513a3cbd4222037 /hol-light/hol-light.el | |
parent | 1ba36a3a84089d5bb6175174de01d245bd52215b (diff) |
Improvements for type tokens, remove preceding colon
Diffstat (limited to 'hol-light/hol-light.el')
-rw-r--r-- | hol-light/hol-light.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hol-light/hol-light.el b/hol-light/hol-light.el index 3201e2ff..85d10607 100644 --- a/hol-light/hol-light.el +++ b/hol-light/hol-light.el @@ -265,7 +265,7 @@ You need to restart Emacs if you change this setting." "CONJUNCT1" "CONJUNCT2" "CONJ_PAIR" "CONJUNCTS" "IMP_DEF" "MP" "DISCH" "DISCH_ALL" "UNDISCH" "UNDISCH_ALL" "IMP_ANTISYM_RULE" "ADD_ASSUM" "EQ_IMP_RULE" "IMP_TRANS" "FORALL_DEF" "SPEC" "SPECL" "SPEC_VAR" - "SPEC_ALL" "ISPEC" "ISPECL" "GEN" "GENL" "GEN_ALL th" + "SPEC_ALL" "ISPEC" "ISPECL" "GEN" "GENL" "GEN_ALL" "EXISTS_DEF" "EXISTS" "SIMPLE_EXISTS" "CHOOSE" "SIMPLE_CHOOSE" "OR_DEF" "DISJ1" "DISJ2" "DISJ_CASES" "SIMPLE_DISJ_CASES" "F_DEF" "NOT_DEF" "NOT_ELIM" "NOT_INTRO" "EQF_INTRO" "EQF_ELIM" "CONTR" "EXISTS_UNIQUE_DEF" |