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-unicode-tokens.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'hol-light/hol-light-unicode-tokens.el') 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) -- cgit v1.2.3