kleing [Tue, 13 Jul 2010 11:01:12 +0100] rev 37794
merged
kleing [Tue, 13 Jul 2010 11:00:20 +0100] rev 37793
new settings for afp test
krauss [Tue, 13 Jul 2010 12:00:11 +0200] rev 37792
Heap_Monad uses Monad_Syntax
krauss [Tue, 13 Jul 2010 11:50:22 +0200] rev 37791
State_Monad uses Monad_Syntax
krauss [Tue, 13 Jul 2010 00:15:37 +0200] rev 37790
uniform do notation for monads
krauss [Tue, 13 Jul 2010 00:15:37 +0200] rev 37789
generic ad-hoc overloading via check/uncheck
haftmann [Tue, 13 Jul 2010 11:38:04 +0200] rev 37788
corrected title
haftmann [Tue, 13 Jul 2010 11:38:03 +0200] rev 37787
theorem collections do not contain default rules any longer
boehmes [Tue, 13 Jul 2010 02:29:05 +0200] rev 37786
fixed handling of Ball/Bex: turn equalities into meta-equalities for the rewriting conversions;
added tests for Ball/Bex
wenzelm [Mon, 12 Jul 2010 22:35:41 +0200] rev 37785
removed unused/untested IOA 'automaton' package;