Mon, 05 Aug 2002 14:30:06 +0200 | berghofe | Removed proof of Suc_le_D (already proved in Nat.thy). | changeset | files |
Mon, 05 Aug 2002 14:29:20 +0200 | berghofe | Removed reference to theory NatDef. | changeset | files |
Mon, 05 Aug 2002 14:28:31 +0200 | berghofe | Removed reference to simpset of NatDef.thy | changeset | files |
Mon, 05 Aug 2002 14:27:55 +0200 | berghofe | Legacy ML bindings. | changeset | files |