diff -r 963e3bf01799 -r f04f93e5c0a9 lib/encodings/isabelle-0
--- a/lib/encodings/isabelle-0	Tue Apr 29 16:38:16 1997 +0200
+++ b/lib/encodings/isabelle-0	Tue Apr 29 16:39:13 1997 +0200
@@ -4,7 +4,24 @@
 # The isabelle-0 encoding table.
 #
 
-161:
+145:
+
+lless
+unlhd
+lhd
+rhd
+tturnstile
+langle
+rangle
+choice
+top
+Or
+ocdot
+iota
+upsilon
+Upsilon
+Xi
+space2
 Gamma
 Delta
 Theta
@@ -41,13 +58,10 @@
 forall
 exists
 And
-
-#lceil
-#rceil
-#lfloor
-#rfloor
-
-201:
+lceil
+rceil
+lfloor
+rfloor
 turnstile
 Turnstile
 lbrakk