![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- avoid circular dependency between "Open Induction" and "Well-Quasi-Orders"
| The file was added | thys/Open_Induction/Restricted_Predicates.thy |
| The file was modified | thys/Open_Induction/Open_Induction.thy (diff) |
| The file was modified | thys/Open_Induction/ROOT (diff) |
| The file was modified | thys/Well_Quasi_Orders/Almost_Full.thy (diff) |
| The file was modified | thys/Well_Quasi_Orders/Minimal_Elements.thy (diff) |
| The file was modified | thys/Well_Quasi_Orders/Multiset_Extension.thy (diff) |
| The file was modified | thys/Well_Quasi_Orders/ROOT (diff) |
| The file was removed | thys/Well_Quasi_Orders/Restricted_Predicates.thy |