isabelle: Changelog

nipkow [Tue, 17 Sep 2013 08:42:51 +0200] rev 53680

added lemmas and made concerse executable

blanchet [Tue, 17 Sep 2013 01:11:37 +0200] rev 53679

merge

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

isabelle