blanchet [Wed, 18 Sep 2013 18:57:09 +0200] rev 53702
tuning (alphabetical order)
blanchet [Wed, 18 Sep 2013 18:56:48 +0200] rev 53701
removed spurious "simp"
blanchet [Wed, 18 Sep 2013 18:53:24 +0200] rev 53700
note "discI"
blanchet [Wed, 18 Sep 2013 18:12:40 +0200] rev 53699
tuned tactics
blanchet [Wed, 18 Sep 2013 17:36:47 +0200] rev 53698
no need thanks to "Code.abort"
blanchet [Wed, 18 Sep 2013 16:44:19 +0200] rev 53697
minor change related to code equations in primcorec
traytel [Wed, 18 Sep 2013 16:09:15 +0200] rev 53696
don't unfold as eager as in 11a77e4aa98b
traytel [Wed, 18 Sep 2013 16:09:02 +0200] rev 53695
tuned proofs
blanchet [Wed, 18 Sep 2013 15:56:15 +0200] rev 53694
use singular to avoid confusion
blanchet [Wed, 18 Sep 2013 15:33:32 +0200] rev 53693
new tactics for constructor view
blanchet [Wed, 18 Sep 2013 15:33:32 +0200] rev 53692
tuning
blanchet [Wed, 18 Sep 2013 15:33:31 +0200] rev 53691
fixed embarrassing typo in example
blanchet [Wed, 18 Sep 2013 15:33:30 +0200] rev 53690
avoid duplicate simp rule warnings
nipkow [Wed, 18 Sep 2013 12:16:10 +0200] rev 53689
added and tuned lemmas
wenzelm [Wed, 18 Sep 2013 00:11:15 +0200] rev 53688
tuned proofs;
wenzelm [Tue, 17 Sep 2013 21:20:55 +0200] rev 53687
updated to official polyml-5.5.1;