src/Doc/Tutorial/Protocol/Message.thy
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2014-09-11 blanchet 2014-09-11 renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
2014-03-12 wenzelm 2014-03-12 some document antiquotations for Isabelle/jEdit elements; modernized theory setup;
2014-01-25 wenzelm 2014-01-25 prefer explicit 'for' context;
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2012-09-12 wenzelm 2012-09-12 tuned headers;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;