Quot/Examples/IntEx2.thy
changeset 765 d0250d01782c
parent 719 a9e55e1ef64c
child 766 df053507edba