| changeset 33365 | 4db1b31b246e |
| parent 33167 | f02b804305d6 |
| child 33384 | 1b5ba4e6a953 |
--- a/src/Pure/pure_thy.ML Fri Oct 30 18:32:40 2009 +0100 +++ b/src/Pure/pure_thy.ML Fri Oct 30 18:32:41 2009 +0100 @@ -268,7 +268,8 @@ (* main content *) val _ = Context.>> (Context.map_theory - (OldApplSyntax.init #> + (Sign.map_naming (Name_Space.set_theory_name Context.PureN) #> + OldApplSyntax.init #> Sign.add_types [(Binding.name "fun", 2, NoSyn), (Binding.name "prop", 0, NoSyn),