Changes

Summary

Changeset 7564:c34b4857e05c by blanchet: tuned proofs and READMEs
The file was modified	`thys/Lambda_Free_KBOs/README` (diff)
The file was modified	`thys/Lambda_Free_RPOs/README` (diff)
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/Nested_Multiset.thy` (diff)
The file was modified	`thys/Nested_Multisets_Ordinals/README` (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)