Skip to content
Success

Changes

Summary

  1. tuning, shortened proofs
Changeset 7842:a67d59fd8758 by blanchet:
tuning, shortened proofs
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy (diff)