isabelle: Changelog

wenzelm [Fri, 12 Oct 2001 12:06:23 +0200] rev 11726

tuned;

wenzelm [Fri, 12 Oct 2001 12:06:10 +0200] rev 11725

HOLogic.dest_concls, InductAttrib.vars_of;

wenzelm [Fri, 12 Oct 2001 12:05:46 +0200] rev 11724

declare impE iffD1 iffD2 as elim of Pure;

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.

isabelle