src/Pure/par_tactical.ML
changeset 81537 d230683a35fc
parent 77908 a6bd716a6124