Quot/Examples/LarryInt.thy
changeset 773 d6acae26d027
parent 767 37285ec4387d
child 790 3a48ffcf0f9a