Attic/Unused.thy
changeset 1767 e6a5651a1d81
parent 1024 b3deb964ad26
child 2871 b58073719b06
equal deleted inserted replaced
1766:a2d5f9ea17ad 1767:e6a5651a1d81