src/Pure/more_pattern.ML
21 months ago wenzelm 2017-11-05 updated to scala-2.12.4;
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;