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.
*** empty log message ***
authorwenzelm
Fri, 04 Apr 1997 13:57:40 +0200
changeset 2899 c0abd2fd9b7c
parent 2898 d7bff1252d1e
child 2900 d5e1a2b869a2
*** empty log message ***
src/HOL/Quot/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Quot/ROOT.ML	Fri Apr 04 13:56:11 1997 +0200
+++ b/src/HOL/Quot/ROOT.ML	Fri Apr 04 13:57:40 1997 +0200
@@ -10,4 +10,5 @@
 
 writeln"Root file for HOL/Quot";
 
-use_thy "Quot";
+(*use_thy "Quot";*)
+
isabelle