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 |