isabelle: Changelog

haftmann [Tue, 22 Apr 2008 22:00:25 +0200] rev 26739

different handling of eq class for nbe

wenzelm [Tue, 22 Apr 2008 13:35:26 +0200] rev 26738

basic setup for generated document (cf. ../IsarImplementation);

haftmann [Tue, 22 Apr 2008 10:31:15 +0200] rev 26737

dropped theory PreList

haftmann [Tue, 22 Apr 2008 08:33:23 +0200] rev 26736

added explicit check phase after reading of specification

haftmann [Tue, 22 Apr 2008 08:33:21 +0200] rev 26735

added theory Sublist_Order

haftmann [Tue, 22 Apr 2008 08:33:20 +0200] rev 26734

dropped some metis calls

haftmann [Tue, 22 Apr 2008 08:33:19 +0200] rev 26733

tuned proofs

haftmann [Tue, 22 Apr 2008 08:33:16 +0200] rev 26732

constant HOL.eq now qualified

haftmann [Tue, 22 Apr 2008 08:33:13 +0200] rev 26731

exported is_abbrev mode discriminator

haftmann [Tue, 22 Apr 2008 08:33:12 +0200] rev 26730

proper abbreviations in class

isabelle