Wed, 07 Feb 2007 17:35:28 +0100 | berghofe | Adapted to changes in Transitive_Closure theory. | changeset | files |
Wed, 07 Feb 2007 17:34:43 +0100 | berghofe | Adapted to new inductive definition package. | changeset | files |
Wed, 07 Feb 2007 17:32:52 +0100 | berghofe | Adapted to changes in Finite_Set theory. | changeset | files |
Wed, 07 Feb 2007 17:30:53 +0100 | berghofe | Theorems for converting between wf and wfP are now declared | changeset | files |
Wed, 07 Feb 2007 17:29:41 +0100 | berghofe | - Adapted to new inductive definition package | changeset | files |
Wed, 07 Feb 2007 17:28:09 +0100 | berghofe | Adapted to new inductive definition package. | changeset | files |
Wed, 07 Feb 2007 17:26:49 +0100 | berghofe | Adapted to changes in Transitive_Closure theory. | changeset | files |