--- a/src/Pure/Thy/thy_parse.ML Fri Jul 18 13:35:36 1997 +0200
+++ b/src/Pure/Thy/thy_parse.ML Fri Jul 18 13:36:03 1997 +0200
@@ -320,9 +320,9 @@
optional ("(" $$-- !! (name --$$ ")")) "\"logic\"" -- string >> mk_pair;
val trans_arrow =
- $$ "=>" >> K "Syntax.|-> " ||
- $$ "<=" >> K "Syntax.<-| " ||
- $$ "==" >> K "Syntax.<-> ";
+ $$ "=>" >> K "Syntax.ParseRule " ||
+ $$ "<=" >> K "Syntax.PrintRule " ||
+ $$ "==" >> K "Syntax.ParsePrintRule ";
val trans_line =
trans_pat -- !! (trans_arrow -- trans_pat)