| Mon, 06 Aug 2001 16:43:40 +0200 | paulson | Converted 1 to 1' | changeset | files |
| Mon, 06 Aug 2001 15:54:29 +0200 | nipkow | 1 -> 1' | changeset | files |
| Mon, 06 Aug 2001 15:46:20 +0200 | paulson | Changed 1 to 1' (= Suc 0) | changeset | files |
| Mon, 06 Aug 2001 13:43:24 +0200 | nipkow | turned translation for 1::nat into def. | changeset | files |
| Mon, 06 Aug 2001 13:12:06 +0200 | paulson | three new theorems | changeset | files |
| Mon, 06 Aug 2001 12:46:21 +0200 | paulson | removed the warning from [iff] | changeset | files |
| Mon, 06 Aug 2001 12:42:43 +0200 | paulson | removed an unsuitable default simprule | changeset | files |