Wed, 07 Feb 2007 17:41:11 +0100 | berghofe | Converted to predicate notation. | changeset | files |
Wed, 07 Feb 2007 17:39:49 +0100 | berghofe | Adapted to changes in List theory. | changeset | files |
Wed, 07 Feb 2007 17:37:59 +0100 | berghofe | - wfP has been moved to theory Wellfounded_Recursion | changeset | files |