isabelle: Changelog

wenzelm [Fri, 12 Oct 2001 12:05:02 +0200] rev 11723

moved trace_rules to Pure/Isar/method.ML; some_rule_tac: prefer Method.some_rule_tac of Pure, no special handling of imp_elim;

wenzelm [Thu, 11 Oct 2001 21:25:45 +0200] rev 11722

* Isar/Pure: fixed 'token_translation' command;

wenzelm [Thu, 11 Oct 2001 19:22:15 +0200] rev 11721

added try;

wenzelm [Thu, 11 Oct 2001 19:22:00 +0200] rev 11720

added certify_tyname;

berghofe [Wed, 10 Oct 2001 18:41:13 +0200] rev 11719

Exported output_symbols.

berghofe [Wed, 10 Oct 2001 18:40:46 +0200] rev 11718

Removed unnecessary application of Drule.standard.

berghofe [Wed, 10 Oct 2001 18:39:38 +0200] rev 11717

Fixed erroneous type constraint in token_translation function.

berghofe [Wed, 10 Oct 2001 18:38:21 +0200] rev 11716

Exported output_with.

berghofe [Wed, 10 Oct 2001 18:37:52 +0200] rev 11715

Tuned several functions to improve sharing of unchanged subproofs.

wenzelm [Tue, 09 Oct 2001 18:11:07 +0200] rev 11714

added global modes ref;

isabelle