Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | 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 |
Tue, 11 Jul 2006 12:16:54 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | file | diff | annotate |
Mon, 12 Jun 2006 21:19:00 +0200 | wenzelm | tuned Seq/Envir/Unify interfaces; | file | diff | annotate |
Sun, 11 Jun 2006 00:28:18 +0200 | dixon | added updated version of IsaPlanner and substitution. | file | diff | annotate |