Quot/QuotMain.thy
changeset 817 11a23fe266c4
parent 789 8237786171f1
child 825 970e86082cd7