src/Pure/more_pattern.ML
Tue, 30 Jul 2019 11:41:39 +0200 wenzelm clarified modules;
Sun, 05 Nov 2017 14:35:43 +0100 wenzelm updated to scala-2.12.4;
Thu, 04 Dec 2014 16:51:54 +0100 haftmann turn application-specific Pattern.matches_subterm into an application-private function
Fri, 21 Nov 2014 22:59:32 +0100 wenzelm tuned;
Fri, 21 Nov 2014 18:14:39 +0100 wenzelm removed some add-ons from modules that are relevant for the inference kernel;
less more (0) tip