Tue, 17 Sep 2013 00:48:01 +0200 | blanchet | more (co)data docs | changeset | files |
Fri, 13 Sep 2013 14:57:20 -0700 | huffman | tuned proofs about 'convex' | changeset | files |
Tue, 17 Sep 2013 00:39:51 +0200 | blanchet | more (co)data docs | changeset | files |
Tue, 17 Sep 2013 00:13:20 +0200 | wenzelm | tuned proofs; | changeset | files |
Mon, 16 Sep 2013 23:08:02 +0200 | wenzelm | treat all dummy type variables separately (in contrast to fca432074fb2); | changeset | files |
Mon, 16 Sep 2013 23:04:13 +0200 | wenzelm | removed dead code (see also 69d4543811d0); | changeset | files |
Mon, 16 Sep 2013 19:30:33 +0200 | wenzelm | merged | changeset | files |