Quot/QuotMain.thy
changeset 910 b91782991dc8
parent 909 3e7a6ec549d1
child 911 95ee248b3832