Session Decreasing-Diagrams-II
View
theory dependencies
View
document
View
outline
Theories
Open_Induction.Restricted_Predicates
Well_Quasi_Orders.Multiset_Extension
Well_Quasi_Orders.Least_Enum
Well_Quasi_Orders.Infinite_Sequences
Well_Quasi_Orders.Almost_Full
Well_Quasi_Orders.Minimal_Elements
Well_Quasi_Orders.Minimal_Bad_Sequences
Well_Quasi_Orders.Almost_Full_Relations
Well_Quasi_Orders.Well_Quasi_Orders
Decreasing_Diagrams_II_Aux
HOL-Cardinals.Order_Union
HOL-Cardinals.Wellorder_Extension
Decreasing_Diagrams_II