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.
took out Class.thy from the compiling process until memory problems are solved
authorurbanc
Fri, 25 May 2007 05:18:56 +0200
changeset 23098 11e1a67fbfe8
parent 23097 f4779adcd1a2
child 23099 3d35c78b446f
took out Class.thy from the compiling process until memory problems are solved
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions
src/HOL/Nominal/Examples/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri May 25 00:36:54 2007 +0200
+++ b/src/HOL/IsaMakefile	Fri May 25 05:18:56 2007 +0200
@@ -751,7 +751,7 @@
   Nominal/Examples/ROOT.ML \
   Nominal/Examples/CR.thy \
   Nominal/Examples/CR_Takahashi.thy \
-  Nominal/Examples/Class.thy \
+##  Nominal/Examples/Class.thy \
   Nominal/Examples/Compile.thy \
   Nominal/Examples/Fsub.thy \
   Nominal/Examples/Lambda_mu.thy \
--- a/src/HOL/Nominal/Examples/ROOT.ML	Fri May 25 00:36:54 2007 +0200
+++ b/src/HOL/Nominal/Examples/ROOT.ML	Fri May 25 05:18:56 2007 +0200
@@ -7,7 +7,7 @@
 
 use_thy "CR";
 use_thy "CR_Takahashi";
-use_thy "Class";
+(*use_thy "Class";*)
 use_thy "Compile";
 use_thy "Fsub";
 use_thy "Height";
isabelle