Quot/Examples/IntEx2.thy
changeset 755 ae562c2ad96b
parent 719 a9e55e1ef64c
child 766 df053507edba