| Sun, 03 Jun 2007 23:16:50 +0200 | wenzelm | added downto0 (from library.ML); | file | diff | annotate |
| Sat, 14 Apr 2007 17:36:05 +0200 | wenzelm | Term.string_of_vname; | file | diff | annotate |
| Tue, 06 Feb 2007 19:32:32 +0100 | wenzelm | tuned matches_subterm; | file | diff | annotate |
| Thu, 21 Sep 2006 19:05:22 +0200 | wenzelm | member (op =); | file | diff | annotate |
| Tue, 11 Jul 2006 23:00:35 +0200 | wenzelm | removed obsolete xless; | file | diff | annotate |
| Tue, 11 Jul 2006 12:17:04 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | file | diff | annotate |
| Tue, 13 Jun 2006 23:41:49 +0200 | wenzelm | added equiv; | file | diff | annotate |