src/Pure/pure_thy.ML
changeset 16536 c5744af6b28a
parent 16513 f38693aad717
child 16722 040728f6a103
     1.1 --- a/src/Pure/pure_thy.ML	Wed Jun 22 19:41:20 2005 +0200
     1.2 +++ b/src/Pure/pure_thy.ML	Wed Jun 22 19:41:22 2005 +0200
     1.3 @@ -449,9 +449,9 @@
     1.4  
     1.5  val proto_pure =
     1.6    Context.pre_pure_thy
     1.7 -  |> Sign.init
     1.8 -  |> Theory.init
     1.9 -  |> Proofterm.init
    1.10 +  |> Sign.init_data
    1.11 +  |> Theory.init_data
    1.12 +  |> Proofterm.init_data
    1.13    |> TheoremsData.init
    1.14    |> Theory.add_types
    1.15     [("fun", 2, NoSyn),