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.
merged
authorwenzelm
Mon, 30 Jul 2012 12:04:37 +0200
changeset 48597 4b8559b227ed
parent 48596 3defa60a7ae3 (diff)
parent 48595 231e6fa96dbb (current diff)
child 48598 7f4561d43d39
merged
--- a/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 30 12:03:48 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 30 12:04:37 2012 +0200
@@ -10,7 +10,7 @@
   "Needham_Schroeder_Guided_Attacker_Example",
   "Needham_Schroeder_Unguided_Attacker_Example"*)
 ];
-(*
+
 if getenv "ISABELLE_GHC" = "" then ()
 else use_thy "Quickcheck_Narrowing_Examples";
-*)
+
isabelle