src/ZF/UNITY/Constrains.thy
changeset 66787 64b47495676d
parent 60770 240563fbf41d
child 68233 5e0e9376b2b0