Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Predicate_Compile_Examples/ROOT.ML
changeset 43916 eabe4d6fbd13
parent 43850 7f2cbc713344
child 43938 78a0a2ad91a3 
--- a/src/HOL/Predicate_Compile_Examples/ROOT.ML	Wed Jul 20 08:16:41 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/ROOT.ML	Wed Jul 20 08:16:42 2011 +0200
@@ -3,7 +3,7 @@
   "Predicate_Compile_Tests",
 (*  "Predicate_Compile_Quickcheck_Examples", -- should be added again soon *)
   "Specialisation_Examples",
-  "Hotel_Example_Small_Generator",
+(*  "Hotel_Example_Small_Generator",*)
   "IMP_1",
   "IMP_2"
 (*  "IMP_3",
isabelle