| Tue, 23 Oct 2007 23:27:23 +0200 | nipkow | went back to >0 | changeset | files |
| Tue, 23 Oct 2007 22:48:25 +0200 | nipkow | changed back from ~=0 to >0 | changeset | files |
| Tue, 23 Oct 2007 14:00:06 +0200 | wenzelm | updated; | changeset | files |
| Tue, 23 Oct 2007 13:29:17 +0200 | wenzelm | added XCONST syntax (keeps original spelling of const); | changeset | files |
| Tue, 23 Oct 2007 13:29:16 +0200 | wenzelm | translations: use XCONST for input patterns (keeps original spelling of const); | changeset | files |
| Tue, 23 Oct 2007 13:10:19 +0200 | paulson | random tidying of proofs | changeset | files |
| Tue, 23 Oct 2007 12:47:21 +0200 | wenzelm | empty files are back -- referenced in Makefile; | changeset | files |
| Tue, 23 Oct 2007 11:48:12 +0200 | haftmann | dropped code redundancy | changeset | files |
| Tue, 23 Oct 2007 11:48:11 +0200 | haftmann | tuned | changeset | files |
| Tue, 23 Oct 2007 11:48:10 +0200 | haftmann | tuned proof | changeset | files |
| Tue, 23 Oct 2007 11:48:08 +0200 | haftmann | partially localized | changeset | files |
| Tue, 23 Oct 2007 10:53:15 +0200 | haftmann | continued | changeset | files |
| Mon, 22 Oct 2007 21:32:12 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 22 Oct 2007 21:32:09 +0200 | wenzelm | fixed proof: no one_is_Suc_zero; | changeset | files |