src/Pure/pure_thy.ML
changeset 25456 6f79698f294d
parent 25018 fac2ceba75b4
child 25598 2f0b4544f4b3
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d