Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved material around
  2. tuning
  3. more lemmas + tuning
Changeset 7417:124029128501 by blanchet:
moved material around
The file was modified thys/Nested_Multisets_Ordinals/Hereditary_Multiset.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Signed_Hereditary_Multiset.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Signed_Syntactic_Ordinal.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy (diff)
Changeset 7416:2dd2c033a13c by blanchet:
tuning
The file was modified thys/Nested_Multisets_Ordinals/Signed_Syntactic_Ordinal.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy (diff)
Changeset 7415:0489da5d1167 by blanchet:
more lemmas + tuning
The file was modified thys/Nested_Multisets_Ordinals/Hereditary_Multiset.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Nested_Multiset.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Signed_Hereditary_Multiset.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Signed_Multiset.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Signed_Syntactic_Ordinal.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy (diff)