| 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 |
| Wed, 07 Jun 2006 02:01:28 +0200 | wenzelm | renamed Type.(un)varifyT to Logic.(un)varifyT; | file | diff | annotate |
| Mon, 05 Jun 2006 21:54:21 +0200 | wenzelm | support embedded terms; | file | diff | annotate |
| Thu, 13 Apr 2006 12:01:03 +0200 | wenzelm | added dest_conjunction_list; | file | diff | annotate |
| Tue, 11 Apr 2006 16:00:02 +0200 | wenzelm | added mk_classrel, dest_classrel, mk_arities, dest_arity (from axclass.ML); | file | diff | annotate |