isabelle: Changelog

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

haftmann [Tue, 22 Apr 2008 08:33:10 +0200] rev 26729

dropped theory PreList

haftmann [Tue, 22 Apr 2008 08:33:09 +0200] rev 26728

added entries

isatest [Mon, 21 Apr 2008 00:06:55 +0200] rev 26727

move some at/a64 tests to intel mac hardware (running Linux)

wenzelm [Sat, 19 Apr 2008 12:36:12 +0200] rev 26726

updated generated file;

wenzelm [Sat, 19 Apr 2008 12:31:07 +0200] rev 26725

updated generated file;

wenzelm [Sat, 19 Apr 2008 12:04:17 +0200] rev 26724

NamedThmsFun: removed obsolete print command -- facts are accesible via dynamic name;

wenzelm [Fri, 18 Apr 2008 23:58:04 +0200] rev 26723

removed dead code;

isabelle