author | wenzelm |
Mon, 30 Jul 2012 12:04:37 +0200 | |
changeset 48597 | 4b8559b227ed |
parent 48596 | 3defa60a7ae3 (diff) |
parent 48595 | 231e6fa96dbb (current diff) |
child 48598 | 7f4561d43d39 |
--- 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"; -*) +