| Sat, 29 Sep 2007 08:58:57 +0200 | haftmann | exported constraint interfaces | changeset | files |
| Sat, 29 Sep 2007 08:58:56 +0200 | haftmann | exported intern_expr | changeset | files |
| Sat, 29 Sep 2007 08:58:55 +0200 | haftmann | added ocaml strings | changeset | files |
| Sat, 29 Sep 2007 08:58:54 +0200 | haftmann | further localization | changeset | files |
| Sat, 29 Sep 2007 08:58:51 +0200 | haftmann | proper syntax during class specification | changeset | files |
| Fri, 28 Sep 2007 10:35:53 +0200 | berghofe | prove_strong_ind now uses InductivePackage.rulify. | changeset | files |
| Fri, 28 Sep 2007 10:32:38 +0200 | berghofe | Adapted to changes in interface of add_inductive_i. | changeset | files |