src/Pure/Syntax/symbol_font.ML
changeset 3067 4d501db6ebed
parent 3064 f04f93e5c0a9
child 3068 b7562e452816
--- a/src/Pure/Syntax/symbol_font.ML	Tue Apr 29 17:14:06 1997 +0200
+++ b/src/Pure/Syntax/symbol_font.ML	Tue Apr 29 17:23:53 1997 +0200
@@ -39,7 +39,7 @@
   "tturnstile",
   "langle",
   "rangle",
-  "choice",
+  "orelse",
   "top",
   "Or",
   "ocdot",