src/Pure/more_pattern.ML
Mon, 11 Dec 2023 13:03:10 +0100 wenzelm tuned;
Fri, 15 Oct 2021 19:25:31 +0200 wenzelm discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily;
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