src/Doc/Datatypes/Setup.thy
2014-03-12 wenzelm 2014-03-12 some document antiquotations for Isabelle/jEdit elements; modernized theory setup;
2014-01-20 blanchet 2014-01-20 reduced dependencies + updated docs
2013-08-01 blanchet 2013-08-01 more (co)datatype documentation
2013-08-01 blanchet 2013-08-01 more (co)datatype docs