| Wed, 11 Jul 2007 11:38:25 +0200 | berghofe | Improved code generator for Collect. | changeset | files |
| Wed, 11 Jul 2007 11:36:06 +0200 | berghofe | Renamed inductive2 to inductive. | changeset | files |
| Wed, 11 Jul 2007 11:35:17 +0200 | aspinall | Fix nested PGIP messages. Update for schema simplifications. | changeset | files |
| Wed, 11 Jul 2007 11:34:38 +0200 | berghofe | Moved unify_consts to PrimrecPackage. | changeset | files |
| Wed, 11 Jul 2007 11:32:02 +0200 | berghofe | - Renamed inductive2 to inductive | changeset | files |
| Wed, 11 Jul 2007 11:29:44 +0200 | berghofe | Adapted to changes in Predicate theory. | changeset | files |
| Wed, 11 Jul 2007 11:28:13 +0200 | berghofe | Adapted to new inductive definition package. | changeset | files |