changeset 60036 | 218fcc645d22 |
parent 58916 | 229765cc3414 |
child 60758 | d8d85a8172b5 |
--- a/src/HOL/Main.thy Sun Apr 12 16:04:53 2015 +0200 +++ b/src/HOL/Main.thy Sun Apr 12 11:33:19 2015 +0200 @@ -1,7 +1,7 @@ section {* Main HOL *} theory Main -imports Predicate_Compile Quickcheck_Narrowing Extraction Coinduction Nitpick BNF_Greatest_Fixpoint +imports Predicate_Compile Quickcheck_Narrowing Extraction Coinduction Nitpick BNF_Greatest_Fixpoint Filter begin text {*