Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compress.init_data;
authorwenzelm
Mon, 01 Aug 2005 19:20:41 +0200
changeset 16987 9ed901d738ba
parent 16986 68bc6dbea7d6
child 16988 02cd0c8b96d9
Compress.init_data;
src/Pure/pure_thy.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle