Session Lambda_Free_EPO
View
theory dependencies
View
document
View
outline
Theories
Lambda_Free_RPOs.Lambda_Free_Util
Lambda_Free_RPOs.Lambda_Free_Term
Lambda_Free_RPOs.Infinite_Chain
HOL-Cardinals.Order_Union
HOL-Cardinals.Wellorder_Extension
Lambda_Free_RPOs.Extension_Orders
Embeddings
Chop
Nested_Multisets_Ordinals.Multiset_More
Lambda_Free_EPO