| changeset 58382 | 2ee61d28c667 |
| parent 58372 | bfd497f2f4c2 |
| child 58889 | 5b7a9633cfa8 |
--- a/src/HOL/Proofs/Lambda/ListOrder.thy Thu Sep 18 18:49:58 2014 +0200 +++ b/src/HOL/Proofs/Lambda/ListOrder.thy Thu Sep 18 19:01:50 2014 +0200 @@ -6,7 +6,7 @@ header {* Lifting an order to lists of elements *} theory ListOrder -imports Old_Datatype +imports Main begin declare [[syntax_ambiguity_warning = false]]