| Tue, 25 Jul 2006 21:18:05 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 25 Jul 2006 21:18:04 +0200 | wenzelm | use Term.add_vars instead of obsolete term_varnames; | changeset | files |
| Tue, 25 Jul 2006 21:18:02 +0200 | wenzelm | renamed add_term_varnames to Term.add_varnames (cf. Term.add_vars etc.); | changeset | files |
| Tue, 25 Jul 2006 21:18:01 +0200 | wenzelm | tuned ML code; | changeset | files |
| Tue, 25 Jul 2006 21:18:00 +0200 | wenzelm | renamed Term.variant_abs to Syntax.variant_abs; | changeset | files |
| Tue, 25 Jul 2006 21:17:58 +0200 | wenzelm | Drule.merge_rules; | changeset | files |
| Tue, 25 Jul 2006 16:51:26 +0200 | haftmann | renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum | changeset | files |
| Tue, 25 Jul 2006 16:43:47 +0200 | haftmann | improvements for lazy code generation | changeset | files |