src/Pure/more_pattern.ML
2014-12-04 haftmann 2014-12-04 turn application-specific Pattern.matches_subterm into an application-private function
2014-11-21 wenzelm 2014-11-21 tuned;
2014-11-21 wenzelm 2014-11-21 removed some add-ons from modules that are relevant for the inference kernel;