Quot/QuotMain.thy
changeset 810 f73e2f5f17b2
parent 789 8237786171f1
child 825 970e86082cd7