isabelle: Changelog

blanchet [Tue, 17 Sep 2013 01:09:51 +0200] rev 53678

return right theorems

blanchet [Tue, 17 Sep 2013 00:48:01 +0200] rev 53677

more (co)data docs

huffman [Fri, 13 Sep 2013 14:57:20 -0700] rev 53676

tuned proofs about 'convex'

blanchet [Tue, 17 Sep 2013 00:39:51 +0200] rev 53675

more (co)data docs

wenzelm [Tue, 17 Sep 2013 00:13:20 +0200] rev 53674

tuned proofs;

wenzelm [Mon, 16 Sep 2013 23:08:02 +0200] rev 53673

treat all dummy type variables separately (in contrast to fca432074fb2);

wenzelm [Mon, 16 Sep 2013 23:04:13 +0200] rev 53672

removed dead code (see also 69d4543811d0);

wenzelm [Mon, 16 Sep 2013 19:30:33 +0200] rev 53671

merged

wenzelm [Mon, 16 Sep 2013 19:27:20 +0200] rev 53670

tuned signature;

wenzelm [Mon, 16 Sep 2013 17:42:05 +0200] rev 53669

more antiquotations -- avoid unchecked string literals;

isabelle