src/Pure/Isar/object_logic.ML
changeset 25456 6f79698f294d
parent 25018 fac2ceba75b4
child 25497 1c9b3733f887
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d