src/HOL/Main.thy
changeset 58916 229765cc3414
parent 58889 5b7a9633cfa8
child 60036 218fcc645d22
     1.1 --- a/src/HOL/Main.thy	Fri Nov 07 12:24:56 2014 +0100
     1.2 +++ b/src/HOL/Main.thy	Fri Nov 07 11:28:37 2014 +0100
     1.3 @@ -1,8 +1,7 @@
     1.4  section {* Main HOL *}
     1.5  
     1.6  theory Main
     1.7 -imports Predicate_Compile Quickcheck_Narrowing Extraction Lifting_Sum Coinduction Nitpick
     1.8 -  BNF_Greatest_Fixpoint
     1.9 +imports Predicate_Compile Quickcheck_Narrowing Extraction Coinduction Nitpick BNF_Greatest_Fixpoint
    1.10  begin
    1.11  
    1.12  text {*