Summary
- adapted to Isabelle/3c628937899d
- tuning
The file was modified | thys/Nominal2/nominal_eqvt.ML (diff) |
The file was modified | thys/Nominal2/nominal_inductive.ML (diff) |
The file was modified | thys/Nested_Multisets_Ordinals/Goodstein_Sequence.thy (diff) |
The file was modified | thys/Nested_Multisets_Ordinals/zmultiset_simprocs.ML (diff) |