Quotient-Paper/Paper.thy
changeset 2110 872187804ff5
parent 2103 e08e3c29dbc0
child 2152 d7d4491535a9
equal deleted inserted replaced
2109:287aa0d3d23a 2110:872187804ff5