changeset 48596 | 3defa60a7ae3 |
parent 48415 | b42067a3188f |
child 48618 | 1f7e068b4613 |
--- 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"; -*) +