isabelle: Changelog

haftmann [Wed, 22 Nov 2006 10:20:11 +0100] rev 21453

removed Extraction dependency

haftmann [Wed, 22 Nov 2006 10:20:09 +0100] rev 21452

final draft

wenzelm [Tue, 21 Nov 2006 20:58:15 +0100] rev 21451

made SML/NJ happy;

wenzelm [Tue, 21 Nov 2006 20:48:11 +0100] rev 21450

theorem(_i): note assms of statement;

wenzelm [Tue, 21 Nov 2006 20:48:06 +0100] rev 21449

removed obsolete simple_note_thms;

wenzelm [Tue, 21 Nov 2006 20:48:03 +0100] rev 21448

added assmsN;

wenzelm [Tue, 21 Nov 2006 20:47:58 +0100] rev 21447

* Isar: the assumptions of a long theorem statement are available as assms;

wenzelm [Tue, 21 Nov 2006 18:50:54 +0100] rev 21446

activated x86_64-linux;

wenzelm [Tue, 21 Nov 2006 18:07:44 +0100] rev 21445

renamed Proof.put_thms_internal to Proof.put_thms;

wenzelm [Tue, 21 Nov 2006 18:07:43 +0100] rev 21444

simplified Proof.theorem(_i); moved theorem kinds from PureThy to Thm;

isabelle