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.
re-activating Quickcheck_Narrowing_Examples in Quickcheck_Examples
authorbulwahn
Mon, 30 Jul 2012 10:59:33 +0200
changeset 48596 3defa60a7ae3
parent 48593 c895e334162c
child 48597 4b8559b227ed
re-activating Quickcheck_Narrowing_Examples in Quickcheck_Examples
src/HOL/Quickcheck_Examples/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Quickcheck_Examples/ROOT.ML	Sun Jul 29 21:55:56 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 30 10:59:33 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