Mon, 14 Aug 2000 18:49:35 +0200 | wenzelm | added conversion.tex; | changeset | files |
Mon, 14 Aug 2000 18:49:23 +0200 | wenzelm | moved tactic emulation methods here; | changeset | files |
Mon, 14 Aug 2000 18:47:32 +0200 | wenzelm | added 'declare' command; | changeset | files |