Tue, 04 Dec 2001 02:01:49 +0100 removed \newcommand{\isasymone};
wenzelm [Tue, 04 Dec 2001 02:01:49 +0100] rev 12356
removed \newcommand{\isasymone};
Tue, 04 Dec 2001 02:01:31 +0100 hyp_subst_tac';
wenzelm [Tue, 04 Dec 2001 02:01:31 +0100] rev 12355
hyp_subst_tac';
Tue, 04 Dec 2001 02:01:13 +0100 setup "rules" method;
wenzelm [Tue, 04 Dec 2001 02:01:13 +0100] rev 12354
setup "rules" method;
Tue, 04 Dec 2001 02:00:45 +0100 no need for hyp_subst_tac' (!?);
wenzelm [Tue, 04 Dec 2001 02:00:45 +0100] rev 12353
no need for hyp_subst_tac' (!?);
Tue, 04 Dec 2001 02:00:14 +0100 renamed RuleContext to ContextRules;
wenzelm [Tue, 04 Dec 2001 02:00:14 +0100] rev 12352
renamed RuleContext to ContextRules;
Tue, 04 Dec 2001 01:59:49 +0100 \usepackage{textcomp}, \usepackage{marvosym};
wenzelm [Tue, 04 Dec 2001 01:59:49 +0100] rev 12351
\usepackage{textcomp}, \usepackage{marvosym};
Mon, 03 Dec 2001 21:31:55 +0100 renamed rule_context.ML to context_rules.ML;
wenzelm [Mon, 03 Dec 2001 21:31:55 +0100] rev 12350
renamed rule_context.ML to context_rules.ML;
Mon, 03 Dec 2001 21:03:06 +0100 setup "rules" method;
wenzelm [Mon, 03 Dec 2001 21:03:06 +0100] rev 12349
setup "rules" method;
Mon, 03 Dec 2001 21:02:26 +0100 interface for wrappers;
wenzelm [Mon, 03 Dec 2001 21:02:26 +0100] rev 12348
interface for wrappers;
Mon, 03 Dec 2001 21:02:08 +0100 added "rules" method;
wenzelm [Mon, 03 Dec 2001 21:02:08 +0100] rev 12347
added "rules" method;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip