src/ZF/UNITY/Constrains.thy
changeset 66787 64b47495676d
parent 60770 240563fbf41d
child 68233 5e0e9376b2b0
equal deleted inserted replaced
66786:61617dafcd60 66787:64b47495676d