| 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 |
| Tue, 11 Jul 2006 12:17:03 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | file | diff | annotate |
| Tue, 13 Jun 2006 23:41:47 +0200 | wenzelm | (un)varify: tuned exceptions; | file | diff | annotate |