src/Pure/tactical.ML
changeset 45323 df7554ebe024
parent 43278 1fbdcebb364b
child 46463 3d0629a9ffca