Skip to content
Success

Changes

Summary

  1. removed comment
  2. added lemma
  3. renamed lemma
Changeset 7837:6732110c24d5 by blanchet:
removed comment
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy (diff)
Changeset 7836:36d6af91cf14 by blanchet:
added lemma
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy (diff)
Changeset 7835:6c07fd97f4e4 by blanchet:
renamed lemma
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy (diff)