| 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 |