Quot/QuotMain.thy
changeset 761 e2ac18492c68
parent 759 119f7d6a3556
child 768 e9e205b904e2