QuotMain.thy
changeset 170 22cd68da9ae4
parent 168 c1e76f09db70
child 174 09048a951dca