src/Pure/more_unify.ML
2014-11-21 wenzelm 2014-11-21 removed some add-ons from modules that are relevant for the inference kernel;