QuotMain.thy
changeset 260 59578f428bbe
parent 259 22c199522bef
child 261 34fb63221536
equal deleted inserted replaced
259:22c199522bef 260:59578f428bbe