2001-10-12 agomoved trace_rules to Pure/Isar/method.ML;
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;

2001-10-11 ago* Isar/Pure: fixed 'token_translation' command;
wenzelm [Thu, 11 Oct 2001 21:25:45 +0200] rev 11722
* Isar/Pure: fixed 'token_translation' command;

2001-10-11 agoadded try;
wenzelm [Thu, 11 Oct 2001 19:22:15 +0200] rev 11721
added try;

2001-10-11 agoadded certify_tyname;
wenzelm [Thu, 11 Oct 2001 19:22:00 +0200] rev 11720
added certify_tyname;

2001-10-10 agoExported output_symbols.
berghofe [Wed, 10 Oct 2001 18:41:13 +0200] rev 11719
Exported output_symbols.

2001-10-10 agoRemoved unnecessary application of Drule.standard.
berghofe [Wed, 10 Oct 2001 18:40:46 +0200] rev 11718
Removed unnecessary application of Drule.standard.

2001-10-10 agoFixed erroneous type constraint in token_translation function.
berghofe [Wed, 10 Oct 2001 18:39:38 +0200] rev 11717
Fixed erroneous type constraint in token_translation function.

2001-10-10 agoExported output_with.
berghofe [Wed, 10 Oct 2001 18:38:21 +0200] rev 11716
Exported output_with.

2001-10-10 agoTuned several functions to improve sharing of unchanged subproofs.
berghofe [Wed, 10 Oct 2001 18:37:52 +0200] rev 11715
Tuned several functions to improve sharing of unchanged subproofs.

2001-10-09 agoadded global modes ref;
wenzelm [Tue, 09 Oct 2001 18:11:07 +0200] rev 11714
added global modes ref;