isabelle: Changelog

wenzelm [Fri, 11 Jul 2008 23:17:23 +0200] rev 27554

Sorts.weaken: abstract argument;

huffman [Fri, 11 Jul 2008 16:56:20 +0200] rev 27553

instance real_field < field_char_0; instance star :: (field_char_0) field_char_0

haftmann [Fri, 11 Jul 2008 09:03:25 +0200] rev 27552

re-removed subclass relation real_field < field_char_0: coregularity violation in NSA/HyperDef

haftmann [Fri, 11 Jul 2008 09:03:11 +0200] rev 27551

Fract now total; improved code generator setup

haftmann [Fri, 11 Jul 2008 09:02:33 +0200] rev 27550

simple inheritance concept

haftmann [Fri, 11 Jul 2008 09:02:32 +0200] rev 27549

tuned thyname lookup

haftmann [Fri, 11 Jul 2008 09:02:31 +0200] rev 27548

fixed layout

haftmann [Fri, 11 Jul 2008 09:02:30 +0200] rev 27547

explicit completions of arities

haftmann [Fri, 11 Jul 2008 09:02:29 +0200] rev 27546

tuned order

haftmann [Fri, 11 Jul 2008 09:02:28 +0200] rev 27545

antiquotation

isabelle