src/Pure/par_tactical.ML
2014-11-08 wenzelm 2014-11-08 optional proof context for unify operations, for the sake of proper local options;
2014-08-19 wenzelm 2014-08-19 clarified modules;