| Fri, 15 Sep 2006 22:56:17 +0200 | wenzelm | removed type aliases for theory/theory_ref; | changeset | files |
| 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 |
| Fri, 15 Sep 2006 20:08:37 +0200 | wenzelm | instantiate: omit has_duplicates check, which is irrelevant for soundness; | changeset | files |
| Fri, 15 Sep 2006 18:06:51 +0200 | webertj | trivial whitespace change | changeset | files |
| Fri, 15 Sep 2006 16:49:41 +0200 | wenzelm | tuned; | changeset | files |