| Wed, 11 Jul 2007 11:41:30 +0200 | berghofe | Old (co)inductive command is now replaced by (co)inductive_set. | changeset | files |
| Wed, 11 Jul 2007 11:39:59 +0200 | berghofe | Reorganization due to introduction of inductive_set wrapper. | changeset | files |
| 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 |