src/Pure/more_unify.ML
2015-03-23 wenzelm 2015-03-23 local fixes may depend on goal params;
2014-11-21 wenzelm 2014-11-21 removed some add-ons from modules that are relevant for the inference kernel;