Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. simprocs for signed and hereditary multisets
Changeset 7656:5ec272f8918d by fleury _mathias.fleury@mpi-inf.mpg.de_:
simprocs for signed and hereditary multisets
The file was addedthys/Nested_Multisets_Ordinals/zmultiset_simprocs.ML
The file was modified thys/Nested_Multisets_Ordinals/Hereditary_Multiset.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Signed_Multiset.thy (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)