src/Pure/par_tactical.ML
Sat, 08 Nov 2014 21:31:51 +0100 wenzelm optional proof context for unify operations, for the sake of proper local options;
Tue, 19 Aug 2014 18:11:04 +0200 wenzelm clarified modules;
less more (0) tip