Skip to content
Success

Changes

Summary

  1. more lemmas
Changeset 7690:96bdfb32b7ac 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)