Quot/QuotMain.thy
changeset 711 810d59a3d9b0
parent 704 0fd4abb5fade
child 715 3d7a9d4d2bb6