changeset 55026 | 258fa7b5a621 |
parent 55023 | 38db7814481d |
--- a/src/HOL/Cardinals/Wellfounded_More_FP.thy Fri Jan 17 09:52:19 2014 +0100 +++ b/src/HOL/Cardinals/Wellfounded_More_FP.thy Fri Jan 17 10:02:49 2014 +0100 @@ -8,7 +8,7 @@ header {* More on Well-Founded Relations (FP) *} theory Wellfounded_More_FP -imports Wfrec Order_Relation_More_FP +imports Wfrec Order_Relation begin