Quot/Examples/FSet3.thy
changeset 755 ae562c2ad96b
parent 743 4b3822d1ed24
child 766 df053507edba
equal deleted inserted replaced
754:b85875d65b10 755:ae562c2ad96b