Skip to content
Success

Changes

Summary

  1. tuning
Changeset 9250:42888cf23eeb by blanchet:
tuning
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Signed_Multiset.thy (diff)