isabelle: Changelog

haftmann [Wed, 22 Apr 2009 19:09:23 +0200] rev 30962

code_datatype antiquotation; tuned

haftmann [Wed, 22 Apr 2009 19:09:22 +0200] rev 30961

more localisation

haftmann [Wed, 22 Apr 2009 19:09:21 +0200] rev 30960

power operation defined generic

haftmann [Wed, 22 Apr 2009 19:09:19 +0200] rev 30959

fixed compilation of predicate types in ML environment

haftmann [Tue, 21 Apr 2009 15:48:02 +0200] rev 30958

merged

haftmann [Mon, 20 Apr 2009 16:28:13 +0200] rev 30957

merged

haftmann [Mon, 20 Apr 2009 15:24:57 +0200] rev 30956

empty page leads to results on duplex printers as expected

haftmann [Mon, 20 Apr 2009 09:52:16 +0200] rev 30955

changes in power operations

haftmann [Mon, 20 Apr 2009 09:32:40 +0200] rev 30954

power operation on functions in theory Nat; power operation on relations in theory Transitive_Closure

haftmann [Mon, 20 Apr 2009 09:32:09 +0200] rev 30953

yield is now a static ML function

isabelle