changeset 58377 | c6f93b8d2d8e |
parent 58372 | bfd497f2f4c2 |
child 58623 | 2db1df2c8467 |
--- a/src/HOL/Main.thy Thu Sep 18 16:47:40 2014 +0200 +++ b/src/HOL/Main.thy Thu Sep 18 16:47:40 2014 +0200 @@ -2,7 +2,7 @@ theory Main imports Predicate_Compile Quickcheck_Narrowing Extraction Lifting_Sum Coinduction Nitpick - Basic_BNF_Least_Fixpoints BNF_Greatest_Fixpoint + BNF_Greatest_Fixpoint begin text {*