changeset 41919 | e180c2a9873b |
parent 40420 | 552563ea3304 |
child 42695 | a94ad372b2f5 |
--- a/src/HOL/Main.thy Fri Mar 11 15:21:13 2011 +0100 +++ b/src/HOL/Main.thy Fri Mar 11 15:21:13 2011 +0100 @@ -1,7 +1,7 @@ header {* Main HOL *} theory Main -imports Plain Record Predicate_Compile Smallcheck Nitpick +imports Plain Record Predicate_Compile Quickcheck_Exhaustive Nitpick begin text {*