Mon, 13 Mar 2000 12:25:16 +0100 | wenzelm | add_thms, add_axioms, add_defs: return theorems as well; | changeset | files |
Mon, 13 Mar 2000 12:23:44 +0100 | wenzelm | added |>> and |>>>; | changeset | files |
Mon, 13 Mar 2000 09:08:27 +0100 | nipkow | exhaust->cases | changeset | files |