Quot/QuotMain.thy
changeset 829 42b90994ac77
parent 825 970e86082cd7
child 833 129caba33c03