isabelle: Changelog

haftmann [Wed, 22 Nov 2006 10:20:15 +0100] rev 21455

incorporated structure HOList into HOLogic

haftmann [Wed, 22 Nov 2006 10:20:12 +0100] rev 21454

dropped eq const

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;

isabelle