--- a/lib/encodings/isabelle-0 Wed Apr 16 18:51:03 1997 +0200
+++ b/lib/encodings/isabelle-0 Wed Apr 16 18:53:36 1997 +0200
@@ -41,10 +41,13 @@
forall
exists
And
-lceil
-rceil
-lfloor
-rfloor
+
+#lceil
+#rceil
+#lfloor
+#rfloor
+
+201:
turnstile
Turnstile
lbrakk