Quot/QuotMain.thy
changeset 895 92c43c96027e
parent 870 2a19e0a37131
child 896 4e0b89d886ac