QuotMain.thy
changeset 497 b663bc007d00
parent 495 76fa93b1fe8b
child 498 e7bb6bbe7576