src/Pure/tctical.ML
changeset 3706 e57b5902822f
parent 3669 3384c6f1f095
child 3991 4cb2f2422695