Wed, 05 Dec 2001 02:58:04 +0100 * Pure/Provers/classical: simplified integration with pure rule
wenzelm [Wed, 05 Dec 2001 02:58:04 +0100] rev 12364
* Pure/Provers/classical: simplified integration with pure rule attributes and methods;
Tue, 04 Dec 2001 19:53:55 +0100 reactivate tracing markup;
wenzelm [Tue, 04 Dec 2001 19:53:55 +0100] rev 12363
reactivate tracing markup;
Tue, 04 Dec 2001 18:10:49 +0100 made SML/NJ happy;
wenzelm [Tue, 04 Dec 2001 18:10:49 +0100] rev 12362
made SML/NJ happy;
Tue, 04 Dec 2001 18:00:11 +0100 made slightly more robust;
wenzelm [Tue, 04 Dec 2001 18:00:11 +0100] rev 12361
made slightly more robust;
Tue, 04 Dec 2001 17:59:36 +0100 added Higher_Order_Logic.thy;
wenzelm [Tue, 04 Dec 2001 17:59:36 +0100] rev 12360
added Higher_Order_Logic.thy;
Tue, 04 Dec 2001 14:26:22 +0100 rules_tac: SELECT_GOAL!!;
wenzelm [Tue, 04 Dec 2001 14:26:22 +0100] rev 12359
rules_tac: SELECT_GOAL!!; tuned;
Tue, 04 Dec 2001 02:02:36 +0100 disable markup of tracing output (tmp?);
wenzelm [Tue, 04 Dec 2001 02:02:36 +0100] rev 12358
disable markup of tracing output (tmp?);
Tue, 04 Dec 2001 02:02:10 +0100 \usepackage{textcomp};
wenzelm [Tue, 04 Dec 2001 02:02:10 +0100] rev 12357
\usepackage{textcomp};
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';
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip