| Mon, 03 Dec 2001 21:02:26 +0100 | wenzelm | interface for wrappers; | changeset | files |
| Mon, 03 Dec 2001 21:02:08 +0100 | wenzelm | added "rules" method; | changeset | files |
| Mon, 03 Dec 2001 21:01:37 +0100 | wenzelm | removed questionable init_gensym; | changeset | files |
| Mon, 03 Dec 2001 21:01:11 +0100 | wenzelm | hyp_subst_tac'; | changeset | files |
| Mon, 03 Dec 2001 20:59:57 +0100 | wenzelm | use \<zero>, \<one>; | changeset | files |
| Mon, 03 Dec 2001 20:59:29 +0100 | wenzelm | \renewcommand{\isasymzero}, \renewcommand{\isasymone}; | changeset | files |