- Adapted to new inductive definition package - Predicate version of wellfoundedness
- Adapted to new inductive definition package
- Predicate version of wellfoundedness

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle