Changes

Summary

Changeset 7407:d4aeb34f3eb9 by blanchet: more lemmas
The file was modified	`thys/Nested_Multisets_Ordinals/Hereditary_Multiset.thy` (diff)
The file was modified	`thys/Nested_Multisets_Ordinals/Multiset_More.thy` (diff)
The file was modified	`thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy` (diff)