| 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 |
| Fri, 13 Oct 2006 18:14:12 +0200 | berghofe | Legacy ML bindings now refer to old inductive definition package. | changeset | files |
| Fri, 13 Oct 2006 18:12:58 +0200 | berghofe | Added new package for inductive definitions, moved old package | changeset | files |
| Fri, 13 Oct 2006 18:10:16 +0200 | berghofe | Generalized gfp and lfp to arbitrary complete lattices. | changeset | files |
| Fri, 13 Oct 2006 18:08:48 +0200 | berghofe | Repaired strip_assums_hyp (now also works for goals not | changeset | files |
| Fri, 13 Oct 2006 16:52:51 +0200 | haftmann | improved framework | changeset | files |