Quot/QuotMain.thy
changeset 645 fe2a37cfecd3
parent 643 cd4226736c37
child 648 830b58c2fa94