isabelle: Changelog

wenzelm [Tue, 04 Dec 2001 17:59:36 +0100] rev 12360

added Higher_Order_Logic.thy;

wenzelm [Tue, 04 Dec 2001 14:26:22 +0100] rev 12359

rules_tac: SELECT_GOAL!!; tuned;

wenzelm [Tue, 04 Dec 2001 02:02:36 +0100] rev 12358

disable markup of tracing output (tmp?);

wenzelm [Tue, 04 Dec 2001 02:02:10 +0100] rev 12357

\usepackage{textcomp};

wenzelm [Tue, 04 Dec 2001 02:01:49 +0100] rev 12356

removed \newcommand{\isasymone};

wenzelm [Tue, 04 Dec 2001 02:01:31 +0100] rev 12355

hyp_subst_tac';

wenzelm [Tue, 04 Dec 2001 02:01:13 +0100] rev 12354

setup "rules" method;

wenzelm [Tue, 04 Dec 2001 02:00:45 +0100] rev 12353

no need for hyp_subst_tac' (!?);

wenzelm [Tue, 04 Dec 2001 02:00:14 +0100] rev 12352

renamed RuleContext to ContextRules;

wenzelm [Tue, 04 Dec 2001 01:59:49 +0100] rev 12351

\usepackage{textcomp}, \usepackage{marvosym};

isabelle