| Mon, 22 Oct 2001 17:58:37 +0200 | wenzelm | corollary; | changeset | files |
| Mon, 22 Oct 2001 17:58:26 +0200 | wenzelm | quick_and_dirty_prove_goalw_cterm; | changeset | files |
| Mon, 22 Oct 2001 17:58:11 +0200 | wenzelm | javac -depend; | changeset | files |
| Mon, 22 Oct 2001 17:56:16 +0200 | wenzelm | -D generated; | changeset | files |