src/Pure/object_logic.ML
changeset 6019 0e55c2fb2ebb
parent 5840 e2d2b896c717
child 6768 26d64339c25a