| Mon, 22 Oct 2001 17:58:56 +0200 | wenzelm | reorganize sources to accomodate locales; | changeset | files |
| 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 |