src/Pure/tactical.ML
changeset 48646 91281e9472d8
parent 46492 bf96ed9e55c1
child 49865 eeaf1ec7eac2