Quot/QuotMain.thy
changeset 785 bf6861ee3b90
parent 781 f3a24012e9d8
child 789 8237786171f1