| 2006-11-23 | wenzelm | 2006-11-23 | renamed Args.Name to Args.Text; | file | diff | annotate |
| 2006-09-15 | wenzelm | 2006-09-15 | renamed Term.map_term_types to Term.map_types (cf. Term.fold_types); | file | diff | annotate |
| 2006-09-12 | wenzelm | 2006-09-12 | moved term subst functions to TermSubst; | file | diff | annotate |
| 2006-09-06 | wenzelm | 2006-09-06 | read_instantiate: declare names of TVars as well (temporary workaround for no-freeze feature of type inference); | file | diff | annotate |
| 2006-08-05 | wenzelm | 2006-08-05 | reworked read_instantiate -- separate read_insts; | file | diff | annotate |
| 2006-08-03 | wenzelm | 2006-08-03 | Rule instantiations -- operations within a rule/subgoal context. | file | diff | annotate |