lib/encodings/isabelle-0
changeset 3068 b7562e452816
parent 3067 4d501db6ebed
child 6281 25d41c118304
--- a/lib/encodings/isabelle-0	Tue Apr 29 17:23:53 1997 +0200
+++ b/lib/encodings/isabelle-0	Tue Apr 29 17:38:02 1997 +0200
@@ -4,23 +4,26 @@
 # The isabelle-0 encoding table.
 #
 
-145:
+#145:
+#
+#lless
+#unlhd
+#lhd
+#rhd
+#tturnstile
+#langle
+#rangle
+#orelse
+#top
+#Or
+#ocdot
+#iota
+#upsilon
+#Upsilon
+#Xi
 
-lless
-unlhd
-lhd
-rhd
-tturnstile
-langle
-rangle
-orelse
-top
-Or
-ocdot
-iota
-upsilon
-Upsilon
-Xi
+160:
+
 space2
 Gamma
 Delta