boehmes [Wed, 17 Aug 2016 10:26:12 +0200] rev 63712
merged
boehmes [Wed, 17 Aug 2016 10:23:49 +0200] rev 63711
more complete simpset for linear arithmetic to avoid warnings: terms such as (2x + 2y)/2 can then be simplified by the linear arithmetic prover during its proof replay
traytel [Wed, 17 Aug 2016 09:46:32 +0200] rev 63710
merged
traytel [Fri, 04 Mar 2016 17:50:22 +0100] rev 63709
coinduction method accepts a list of coinduction rules (takes the first matching one)
wenzelm [Tue, 16 Aug 2016 20:54:37 +0200] rev 63708
more robust;
wenzelm [Tue, 16 Aug 2016 15:55:11 +0200] rev 63707
clarified presentation order, according to typical amounts;
wenzelm [Tue, 16 Aug 2016 15:51:44 +0200] rev 63706
present ML timing as well;
eberlm <eberlm@in.tum.de> [Tue, 16 Aug 2016 12:41:43 +0200] rev 63705
Polynomial algebra cleanup (tuned)
eberlm <eberlm@in.tum.de> [Tue, 16 Aug 2016 12:02:09 +0200] rev 63704
Polynomial algebra cleanup
wenzelm [Sun, 14 Aug 2016 23:35:16 +0200] rev 63703
provide index.html;
tuned;