| Fri, 15 Sep 2006 22:56:13 +0200 | wenzelm | renamed Term.map_term_types to Term.map_types (cf. Term.fold_types); | changeset | files |
| Fri, 15 Sep 2006 22:56:08 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Sep 2006 20:08:38 +0200 | wenzelm | rrule: maintain 'extra' field for rule that contain extra vars outside elhs; | changeset | files |