| Tue, 04 Dec 2001 01:59:49 +0100 | wenzelm | \usepackage{textcomp}, \usepackage{marvosym}; | changeset | files |
| Mon, 03 Dec 2001 21:31:55 +0100 | wenzelm | renamed rule_context.ML to context_rules.ML; | changeset | files |
| Mon, 03 Dec 2001 21:03:06 +0100 | wenzelm | setup "rules" method; | changeset | files |
| 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 |