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, 12 Sep 2006 12:12:46 +0200 | wenzelm | moved term subst functions to TermSubst; | file | diff | annotate |
Wed, 06 Sep 2006 22:48:36 +0200 | wenzelm | read_instantiate: declare names of TVars as well (temporary workaround for no-freeze feature of type inference); | file | diff | annotate |
Sat, 05 Aug 2006 14:52:58 +0200 | wenzelm | reworked read_instantiate -- separate read_insts; | file | diff | annotate |
Thu, 03 Aug 2006 17:30:44 +0200 | wenzelm | Rule instantiations -- operations within a rule/subgoal context. | file | diff | annotate |