Quot/QuotMain.thy
changeset 743 4b3822d1ed24
parent 742 198ff5781844
child 744 7092bd4fd264