| changeset 45198 | f579dab96734 |
| parent 43560 | d1650e3720fd |
| child 45592 | 8baa0b7f3f66 |
--- a/src/Pure/ML/ml_thms.ML Wed Oct 19 16:45:46 2011 +0200 +++ b/src/Pure/ML/ml_thms.ML Wed Oct 19 17:03:07 2011 +0200 @@ -52,7 +52,7 @@ val and_ = Args.$$$ "and"; val by = Args.$$$ "by"; -val goal = Scan.unless (by || and_) Args.name; +val goal = Scan.unless (by || and_) Args.name_source; val _ = Context.>> (Context.map_theory