src/Pure/tctical.ML
changeset 11306 6f4ed75b2dca
parent 10821 dcb75538f542
child 11517 6736505799d2