Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adapted to Isabelle/3c628937899d
  2. tuning
Changeset 7770:a7160ffc25f1 by lars hupel _lars.hupel@mytum.de_:
adapted to Isabelle/3c628937899d
The file was modified thys/Nominal2/nominal_eqvt.ML (diff)
The file was modified thys/Nominal2/nominal_inductive.ML (diff)
Changeset 7769:a6500f879271 by blanchet:
tuning
The file was modified thys/Nested_Multisets_Ordinals/Goodstein_Sequence.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/zmultiset_simprocs.ML (diff)