isabelle: Changelog

haftmann [Mon, 20 Jul 2009 09:52:09 +0200] rev 32078

merged

haftmann [Mon, 20 Jul 2009 08:31:12 +0200] rev 32077

closer relation of sets and complete lattices; corresponding consts, defs and syntax at similar places in theory text

haftmann [Wed, 15 Jul 2009 16:00:06 +0200] rev 32076

merged

haftmann [Mon, 20 Jul 2009 08:32:07 +0200] rev 32075

merged

haftmann [Wed, 15 Jul 2009 18:20:08 +0200] rev 32074

simplification of locale interfaces

haftmann [Wed, 15 Jul 2009 10:11:13 +0200] rev 32073

additional preprocessor rule

haftmann [Tue, 14 Jul 2009 16:27:34 +0200] rev 32072

added code_unfold_post attribute

haftmann [Tue, 14 Jul 2009 16:27:33 +0200] rev 32071

more accessors to unfold simpset

haftmann [Tue, 14 Jul 2009 16:27:33 +0200] rev 32070

clarified code

haftmann [Tue, 14 Jul 2009 16:27:32 +0200] rev 32069

prefer code_inline over code_unfold; use code_unfold_post where appropriate

isabelle