Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. renamed excruciatingly long identifiers
Changeset 7420:1a3901597f0f by blanchet:
renamed excruciatingly long identifiers
The file was modified thys/Nested_Multisets_Ordinals/Signed_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)