changeset 54481 | 5c9819d7713b |
parent 54479 | af1ea7ca7417 |
child 54552 | 5d57cbec0f0f |
--- a/src/HOL/Cardinals/Order_Relation_More.thy Mon Nov 18 18:04:45 2013 +0100 +++ b/src/HOL/Cardinals/Order_Relation_More.thy Mon Nov 18 18:04:45 2013 +0100 @@ -8,7 +8,7 @@ header {* Basics on Order-Like Relations *} theory Order_Relation_More -imports Order_Relation_More_LFP +imports Order_Relation_More_FP begin