| Sat, 16 Sep 2006 02:35:58 +0200 | huffman | add theorem norm_diff_triangle_ineq | changeset | files |
| Sat, 16 Sep 2006 02:32:48 +0200 | huffman | add required type annotation | changeset | files |
| 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 |