isabelle: Changelog

wenzelm [Tue, 04 Dec 2001 19:53:55 +0100] rev 12363

reactivate tracing markup;

wenzelm [Tue, 04 Dec 2001 18:10:49 +0100] rev 12362

made SML/NJ happy;

wenzelm [Tue, 04 Dec 2001 18:00:11 +0100] rev 12361

made slightly more robust;

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;

isabelle