src/Pure/tctical.ML
changeset 20153 6ff5d35749b0
parent 19861 620d90091788
child 20194 c9dbce9a23a1