--- a/src/Pure/pure_thy.ML Mon Aug 01 19:20:40 2005 +0200 +++ b/src/Pure/pure_thy.ML Mon Aug 01 19:20:41 2005 +0200 @@ -451,6 +451,7 @@ val proto_pure = Context.pre_pure_thy + |> Compress.init_data |> Sign.init_data |> Theory.init_data |> Proofterm.init_data