src/Pure/tctical.ML
changeset 14990 582b655da757
parent 13664 cfe1dc32c2e5
child 15006 107e4dfd3b96