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-unicode-tokens.el | |
parent | 1ba36a3a84089d5bb6175174de01d245bd52215b (diff) |
Improvements for type tokens, remove preceding colon
Diffstat (limited to 'hol-light/hol-light-unicode-tokens.el')
-rw-r--r-- | hol-light/hol-light-unicode-tokens.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/hol-light/hol-light-unicode-tokens.el b/hol-light/hol-light-unicode-tokens.el index e6e3671d..df32e4bd 100644 --- a/hol-light/hol-light-unicode-tokens.el +++ b/hol-light/hol-light-unicode-tokens.el @@ -69,10 +69,10 @@ ;; logic ("forall" "∀") ("exists" "∃") - (":num" ":ℕ" type) ;; ? - (":complex" ":ℂ" type) - (":real" ":ℝ" type) - (":int" ":ℤ" type) + ("num" "ℕ" type) ;; ? + ("complex" "ℂ" type) + ("real" "ℝ" type) + ("int" "ℤ" type) ("rat" "ℚ" type) ("bool" "B" underline type) ("false" "false" bold sans) |