| 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 |
| Mon, 22 Oct 2007 21:32:06 +0200 | wenzelm | tuned Nominal entry; | changeset | files |
| Mon, 22 Oct 2007 16:54:54 +0200 | haftmann | clarified Haskell qualification heuristics | changeset | files |