isabelle: Changelog

wenzelm [Wed, 04 Jan 2006 00:52:49 +0100] rev 18566

added unlocalize_mfix;

wenzelm [Wed, 04 Jan 2006 00:52:48 +0100] rev 18565

added unlocalize_mixfix;

wenzelm [Wed, 04 Jan 2006 00:52:47 +0100] rev 18564

added theory_to_theory_to_proof, which may change theory before entering the proof; added forget_proof (from isar_thy.ML);

wenzelm [Wed, 04 Jan 2006 00:52:45 +0100] rev 18563

tuned;

wenzelm [Wed, 04 Jan 2006 00:52:45 +0100] rev 18562

moved forget_proof to toplevel.ML;

wenzelm [Wed, 04 Jan 2006 00:52:43 +0100] rev 18561

Toplevel.forget_proof;

wenzelm [Wed, 04 Jan 2006 00:52:42 +0100] rev 18560

adapted Toplevel.Proof;

wenzelm [Wed, 04 Jan 2006 00:52:40 +0100] rev 18559

removed dead code;

wenzelm [Wed, 04 Jan 2006 00:52:38 +0100] rev 18558

more stuff;

paulson [Tue, 03 Jan 2006 15:44:39 +0100] rev 18557

Provers/classical: stricter checks to ensure that supplied intro, dest and elim rules are well-formed

isabelle