Quot/Examples/FSet3.thy
changeset 779 3b21b24a5fb6
parent 768 e9e205b904e2
child 784 da75568e7f12
equal deleted inserted replaced
778:54f186bb5e3e 779:3b21b24a5fb6