isabelle: Changelog

blanchet [Fri, 28 Sep 2012 09:12:50 +0200] rev 49636

renamed ML file in preparation for next step

blanchet [Fri, 28 Sep 2012 09:12:50 +0200] rev 49635

killed temporary "data_raw" and "codata_raw" now that the examples have been ported to "data" and "codata"

blanchet [Fri, 28 Sep 2012 09:12:50 +0200] rev 49634

modernized example, exploiting "rep_compat" option

blanchet [Fri, 28 Sep 2012 09:12:50 +0200] rev 49633

compatibility option to use "rep_datatype"

blanchet [Fri, 28 Sep 2012 09:12:50 +0200] rev 49632

tuned message

blanchet [Fri, 28 Sep 2012 09:12:49 +0200] rev 49631

modernized example

traytel [Fri, 28 Sep 2012 09:17:30 +0200] rev 49630

tuned tactics

nipkow [Fri, 28 Sep 2012 08:59:54 +0200] rev 49629

second usage of const_typ

nipkow [Fri, 28 Sep 2012 08:39:48 +0200] rev 49628

new antiquotation const_typ

nipkow [Fri, 28 Sep 2012 08:09:28 +0200] rev 49627

tuned printing of _ in latex

isabelle