| Tue, 04 Dec 2001 02:01:49 +0100 | wenzelm | removed \newcommand{\isasymone}; | changeset | files |
| Tue, 04 Dec 2001 02:01:31 +0100 | wenzelm | hyp_subst_tac'; | changeset | files |
| Tue, 04 Dec 2001 02:01:13 +0100 | wenzelm | setup "rules" method; | changeset | files |
| Tue, 04 Dec 2001 02:00:45 +0100 | wenzelm | no need for hyp_subst_tac' (!?); | changeset | files |
| Tue, 04 Dec 2001 02:00:14 +0100 | wenzelm | renamed RuleContext to ContextRules; | changeset | files |
| 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 |