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;
wenzelm [Mon, 12 Jul 2010 22:17:31 +0200] rev 37784
removed impractical tolerate_legacy_features flag;
wenzelm [Mon, 12 Jul 2010 22:14:11 +0200] rev 37783
tuned comment;
wenzelm [Mon, 12 Jul 2010 22:07:36 +0200] rev 37782
removed legacy aliases;
wenzelm [Mon, 12 Jul 2010 21:38:37 +0200] rev 37781
moved misc legacy stuff from OldGoals to Misc_Legacy;
OldGoals: removed unused strip_context, metahyps_thms, read_term, read_prop, gethyps;