Skip to content
Success

Changes

Summary

  1. merge
  2. more
Changeset 7549:9cf8745c73c6 by blanchet:
merge
Changeset 7548:2009a8c2fcb5 by blanchet:
more
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.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)