Session Well_Quasi_Orders
View
theory dependencies
View
document
View
outline
Theories
Infinite_Sequences
Open_Induction.Restricted_Predicates
Minimal_Elements
Regular-Sets.Regular_Set
Regular-Sets.Regular_Exp
Regular-Sets.NDerivative
Regular-Sets.Equivalence_Checking
Regular-Sets.Relation_Interpretation
Regular-Sets.Regexp_Method
Abstract-Rewriting.Seq
Least_Enum
Almost_Full
Minimal_Bad_Sequences
Open_Induction.Open_Induction
Higman_OI
Almost_Full_Relations
Well_Quasi_Orders
Kruskal
Kruskal_Examples
Wqo_Instances
Multiset_Extension
Wqo_Multiset