Changes

Summary

Changeset 7784:603719203e39 by mathias fleury _mathias.fleury@mpi-inf.mpg.de_: better handling of minus in simproc
The file was modified	`thys/Nested_Multisets_Ordinals/Signed_Multiset.thy` (diff)