noschinl [Tue, 17 Sep 2013 13:40:44 +0200] rev 54818
NEWS: Simps_Case_Conv
nipkow [Tue, 17 Sep 2013 08:42:51 +0200] rev 54817
added lemmas and made concerse executable
blanchet [Tue, 17 Sep 2013 01:11:37 +0200] rev 54816
merge
blanchet [Tue, 17 Sep 2013 01:09:51 +0200] rev 54815
return right theorems
blanchet [Tue, 17 Sep 2013 00:48:01 +0200] rev 54814
more (co)data docs
huffman [Fri, 13 Sep 2013 14:57:20 -0700] rev 54813
tuned proofs about 'convex'
blanchet [Tue, 17 Sep 2013 00:39:51 +0200] rev 54812
more (co)data docs
wenzelm [Tue, 17 Sep 2013 00:13:20 +0200] rev 54811
tuned proofs;
wenzelm [Mon, 16 Sep 2013 23:08:02 +0200] rev 54810
treat all dummy type variables separately (in contrast to fca432074fb2);
wenzelm [Mon, 16 Sep 2013 23:04:13 +0200] rev 54809
removed dead code (see also 69d4543811d0);