| Wed, 11 Jul 2007 11:54:21 +0200 | berghofe | Adapted to new inductive definition package. | changeset | files |
| Wed, 11 Jul 2007 11:54:03 +0200 | berghofe | Renamed accessible part for predicates to accp. | changeset | files |
| Wed, 11 Jul 2007 11:52:45 +0200 | berghofe | renamed inductive2 to inductive. | changeset | files |
| Wed, 11 Jul 2007 11:52:28 +0200 | berghofe | Renamed inductive2 to inductive. | changeset | files |