| Mon, 19 Jun 2006 17:19:04 +0200 | wenzelm | matchers: try pattern_matchers only *after* general matching (The | file | diff | annotate |
| Tue, 13 Jun 2006 23:41:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 12 Jun 2006 21:19:06 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 12 Jun 2006 21:19:04 +0200 | wenzelm | added matchers, matches_list; | file | diff | annotate |
| Wed, 26 Apr 2006 22:38:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 06 Feb 2006 20:59:42 +0100 | wenzelm | moved combound, rlist_abs to logic.ML; | file | diff | annotate |
| Wed, 16 Nov 2005 17:45:30 +0100 | wenzelm | tuned Pattern.match/unify; | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:28 +0200 | wenzelm | Seq.maps; | file | diff | annotate |
| Thu, 28 Jul 2005 15:19:49 +0200 | wenzelm | Sign.typ_unify; | file | diff | annotate |
| Fri, 01 Jul 2005 22:29:19 +0200 | wenzelm | back to 1.28; | file | diff | annotate |
| Thu, 30 Jun 2005 19:49:41 +0200 | wenzelm | revert to 1.27 due to obscure performance issues (!??); | file | diff | annotate |
| Wed, 29 Jun 2005 15:13:32 +0200 | wenzelm | pass thy as explicit argument (the old ref was not safe | file | diff | annotate |
| Fri, 17 Jun 2005 18:33:08 +0200 | wenzelm | accomodate identification of type Sign.sg and theory; | file | diff | annotate |
| Thu, 21 Apr 2005 19:12:03 +0200 | berghofe | - Eliminated nodup_vars check. | file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |