blanchet [Fri, 28 Sep 2012 09:12:50 +0200] rev 50650
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 50649
modernized example, exploiting "rep_compat" option
blanchet [Fri, 28 Sep 2012 09:12:50 +0200] rev 50648
compatibility option to use "rep_datatype"
blanchet [Fri, 28 Sep 2012 09:12:50 +0200] rev 50647
tuned message
blanchet [Fri, 28 Sep 2012 09:12:49 +0200] rev 50646
modernized example
traytel [Fri, 28 Sep 2012 09:17:30 +0200] rev 50645
tuned tactics
nipkow [Fri, 28 Sep 2012 08:59:54 +0200] rev 50644
second usage of const_typ
nipkow [Fri, 28 Sep 2012 08:39:48 +0200] rev 50643
new antiquotation const_typ
nipkow [Fri, 28 Sep 2012 08:09:28 +0200] rev 50642
tuned printing of _ in latex
kuncar [Thu, 27 Sep 2012 20:30:32 +0200] rev 50641
mk_readable_rsp_thm_eq is more robust now