From 855e97db6dc47848dc9c9193a35c4294b7ff7486 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 5 Jan 2015 11:41:31 +0000 Subject: Improvements for type tokens, remove preceding colon --- hol-light/hol-light.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'hol-light/hol-light.el') 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" -- cgit v1.2.3