--- a/src/Pure/Isar/isar_syn.ML Sat Apr 09 15:00:23 2011 +0200
+++ b/src/Pure/Isar/isar_syn.ML Sat Apr 09 23:29:50 2011 +0200
@@ -171,8 +171,9 @@
(* translations *)
val trans_pat =
- Scan.optional (Parse.$$$ "(" |-- Parse.!!! (Parse.xname --| Parse.$$$ ")")) "logic"
- -- Parse.string;
+ Scan.optional
+ (Parse.$$$ "(" |-- Parse.!!! (Parse.xname --| Parse.$$$ ")")) "logic"
+ -- Parse.inner_syntax Parse.string;
fun trans_arrow toks =
((Parse.$$$ "\\<rightharpoonup>" || Parse.$$$ "=>") >> K Syntax.Parse_Rule ||