changeset 55534 | b18bdcbda41b |
parent 55128 | 6e16d2dd4f14 |
child 55579 | 207538943038 |
--- a/src/HOL/Main.thy Mon Feb 17 13:31:42 2014 +0100 +++ b/src/HOL/Main.thy Mon Feb 17 13:31:42 2014 +0100 @@ -1,7 +1,7 @@ header {* Main HOL *} theory Main -imports Predicate_Compile Extraction Lifting_Sum List_Prefix Coinduction Nitpick BNF_LFP BNF_GFP +imports Predicate_Compile Extraction Lifting_Sum List_Prefix Coinduction Nitpick BNF_GFP begin text {*