wenzelm [Tue, 14 Feb 2012 17:54:08 +0100] rev 47339
elininated unused INTLEAVE;
wenzelm [Tue, 14 Feb 2012 17:51:29 +0100] rev 47338
eliminated unused rewrite_goal_rule;
wenzelm [Tue, 14 Feb 2012 17:49:47 +0100] rev 47337
eliminated unused subgoals_tac;
wenzelm [Tue, 14 Feb 2012 17:26:35 +0100] rev 47336
eliminated obsolete aliases;
wenzelm [Tue, 14 Feb 2012 17:11:33 +0100] rev 47335
eliminated obsolete aliases;
wenzelm [Tue, 14 Feb 2012 16:59:12 +0100] rev 47334
tuned;
blanchet [Tue, 14 Feb 2012 20:13:07 +0100] rev 47333
don't report spurious LEO-II errors
blanchet [Tue, 14 Feb 2012 18:58:33 +0100] rev 47332
better error message
bulwahn [Tue, 14 Feb 2012 17:59:10 +0100] rev 47331
removing debug code in mutabelle
bulwahn [Tue, 14 Feb 2012 17:58:51 +0100] rev 47330
adding abort_potential functionality in quickcheck