Quot/Examples/IntEx2.thy
changeset 755 ae562c2ad96b
parent 719 a9e55e1ef64c
child 766 df053507edba
equal deleted inserted replaced
754:b85875d65b10 755:ae562c2ad96b