Skip to content
Success

Changes

Summary

  1. tuning
Changeset 7430:0858d617bc5f by blanchet:
tuning
The file was modified thys/Nested_Multisets_Ordinals/Signed_Syntactic_Ordinal.thy (diff)