changeset 26608 | ff838a61dad6 |
parent 26463 | 9283b4185fdf |
child 26957 | e3f04fdd994d |
--- a/src/Pure/pure_setup.ML Thu Apr 10 13:44:43 2008 +0200 +++ b/src/Pure/pure_setup.ML Thu Apr 10 14:53:24 2008 +0200 @@ -16,6 +16,8 @@ (* the Pure theories *) +val theory = ThyInfo.get_theory; + Context.>> (Context.map_theory (OuterSyntax.process_file (Path.explode "Pure.thy") #> Theory.end_theory));