isabelle: Changelog

wenzelm [Sat, 17 Sep 2005 19:17:34 +0200] rev 17475

pretty_thm_aux: ora masked by quick_and_dirty;

wenzelm [Sat, 17 Sep 2005 19:17:33 +0200] rev 17474

added quick_and_dirty (from Isar/skip_proofs.ML);

wenzelm [Sat, 17 Sep 2005 19:12:58 +0200] rev 17473

manually generated from Isabelle/HOLCF/IOA/Complex/Import;

wenzelm [Sat, 17 Sep 2005 18:25:11 +0200] rev 17472

tuned document;

wenzelm [Sat, 17 Sep 2005 18:24:57 +0200] rev 17471

tuned;

wenzelm [Sat, 17 Sep 2005 18:11:30 +0200] rev 17470

added with_charset: string -> ('a -> 'b) -> 'a -> 'b;

wenzelm [Sat, 17 Sep 2005 18:11:29 +0200] rev 17469

tuned comments;

wenzelm [Sat, 17 Sep 2005 18:11:28 +0200] rev 17468

pretty_thm_aux: aconv hyps;

wenzelm [Sat, 17 Sep 2005 18:11:27 +0200] rev 17467

removed obsolete BasisLibrary; proof_general.ML: setmp proofs 1 to capture sane default preferences;

wenzelm [Sat, 17 Sep 2005 18:11:26 +0200] rev 17466

Hebrew: HTML.with_charset;

isabelle