| Tue, 05 Dec 2006 00:30:38 +0100 | wenzelm | thm/prf: separate official name vs. additional tags; | file | diff | annotate |
| Tue, 31 Oct 2006 09:29:06 +0100 | haftmann | fixed type signature of Type.varify | file | diff | annotate |
| Thu, 21 Sep 2006 19:05:56 +0200 | wenzelm | member (op =); | file | diff | annotate |
| Fri, 15 Sep 2006 22:56:13 +0200 | wenzelm | renamed Term.map_term_types to Term.map_types (cf. Term.fold_types); | file | diff | annotate |
| Wed, 02 Aug 2006 22:27:06 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 11 Jun 2006 21:59:17 +0200 | wenzelm | avoid unqualified exception; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Wed, 26 Apr 2006 22:38:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Apr 2006 12:00:56 +0200 | wenzelm | ignore sorts of consts declarations; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Mon, 06 Feb 2006 20:58:54 +0100 | wenzelm | Envir.(beta_)eta_contract; | file | diff | annotate |
| Wed, 16 Nov 2005 17:45:30 +0100 | wenzelm | tuned Pattern.match/unify; | file | diff | annotate |
| Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
| Fri, 02 Sep 2005 15:54:47 +0200 | haftmann | some 'assoc' etc. refactoring | file | diff | annotate |
| Thu, 01 Sep 2005 22:15:12 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |