isabelle: Changelog

haftmann [Fri, 17 Apr 2009 16:41:30 +0200] rev 30950

power operation on relations now with syntax ^^

haftmann [Fri, 17 Apr 2009 15:57:26 +0200] rev 30949

separated funpow, relpow from power on monoids

haftmann [Fri, 17 Apr 2009 15:14:06 +0200] rev 30948

static compilation of enumeration type

haftmann [Fri, 17 Apr 2009 14:29:56 +0200] rev 30947

re-engineering of evaluation conversions

haftmann [Fri, 17 Apr 2009 14:29:55 +0200] rev 30946

tuned

haftmann [Fri, 17 Apr 2009 14:29:54 +0200] rev 30945

separate channel for Quickcheck evaluations

haftmann [Fri, 17 Apr 2009 08:36:18 +0200] rev 30944

merged

haftmann [Fri, 17 Apr 2009 08:35:23 +0200] rev 30943

zmod_zmult_zmult1 now subsumed by mod_mult_mult1

haftmann [Fri, 17 Apr 2009 08:34:54 +0200] rev 30942

diagnostic commands now in code_thingol; tuned code of funny continuations

haftmann [Fri, 17 Apr 2009 08:34:53 +0200] rev 30941

simplified code

isabelle