changeset 12263 | 6f2acf10e2a2 |
parent 12071 | 3ef642b449da |
child 12268 | 28e60c998eee |
--- a/src/Pure/Isar/outer_parse.ML Wed Nov 21 00:36:51 2001 +0100 +++ b/src/Pure/Isar/outer_parse.ML Wed Nov 21 20:20:18 2001 +0100 @@ -313,7 +313,7 @@ $$$ "defines" |-- !!! (and_list1 (opt_thm_name ":" -- propp')) >> Locale.Defines || $$$ "notes" |-- !!! (and_list1 (opt_thm_name "=" -- xthms1)) >> Locale.Notes || - $$$ "uses" |-- !!! xname >> Locale.Uses); + $$$ "uses" |-- !!! xname >> (Locale.Uses o Locale.Locale)); (* proof methods *)