src/Pure/Pure.thy
changeset 62459 7a5d88dd8cc9
parent 62312 5e5a881ebc12
child 62490 39d01eaf5292
equal deleted inserted replaced
62456:11e06f5283bc 62459:7a5d88dd8cc9