diff -r 86c9eada525b -r c5744af6b28a src/Pure/pure_thy.ML
--- a/src/Pure/pure_thy.ML	Wed Jun 22 19:41:20 2005 +0200
+++ b/src/Pure/pure_thy.ML	Wed Jun 22 19:41:22 2005 +0200
@@ -449,9 +449,9 @@
 
 val proto_pure =
   Context.pre_pure_thy
-  |> Sign.init
-  |> Theory.init
-  |> Proofterm.init
+  |> Sign.init_data
+  |> Theory.init_data
+  |> Proofterm.init_data
   |> TheoremsData.init
   |> Theory.add_types
    [("fun", 2, NoSyn),