| 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 |