isabelle: Changelog

haftmann [Tue, 29 Jul 2008 08:15:44 +0200] rev 27692

tuned; explicit export of element accessors

haftmann [Tue, 29 Jul 2008 08:15:40 +0200] rev 27691

PureThy: dropped note_thmss_qualified, dropped _i suffix

haftmann [Tue, 29 Jul 2008 08:15:39 +0200] rev 27690

some steps towards explicit class target for canonical interpretation

haftmann [Tue, 29 Jul 2008 08:15:38 +0200] rev 27689

declare

nipkow [Mon, 28 Jul 2008 20:49:07 +0200] rev 27688

*** empty log message ***

Sun, 27 Jul 2008 20:08:16 +0200 simplified a proof

urbanc [Sun, 27 Jul 2008 20:08:16 +0200] rev 27687

simplified a proof

haftmann [Sat, 26 Jul 2008 09:00:26 +0200] rev 27686

tuned function name

haftmann [Sat, 26 Jul 2008 09:00:25 +0200] rev 27685

tuned bootstrap order

haftmann [Fri, 25 Jul 2008 12:03:37 +0200] rev 27684

subclass now also works for subclasses with empty specificaton

haftmann [Fri, 25 Jul 2008 12:03:36 +0200] rev 27683

dropped PureThy.note; added PureThy.add_thm

isabelle