| Fri, 13 Oct 2006 18:24:02 +0200 | berghofe | Old version of inductive definition package (for sets). | changeset | files |
| Fri, 13 Oct 2006 18:23:37 +0200 | berghofe | Moved old inductive package to old_inductive_package.ML | changeset | files |
| Fri, 13 Oct 2006 18:18:58 +0200 | berghofe | Adapted to new inductive definition package. | changeset | files |
| Fri, 13 Oct 2006 18:15:18 +0200 | berghofe | Adapted to changes in FixedPoint theory. | changeset | files |