Mon, 09 Oct 2006 02:20:04 +0200 | wenzelm | removed obsolete note_thmss(_i); | changeset | files |
Mon, 09 Oct 2006 02:20:04 +0200 | wenzelm | added exit; | changeset | files |
Mon, 09 Oct 2006 02:20:02 +0200 | wenzelm | simplified derived_def; | changeset | files |