src/Doc/Tutorial/Protocol/Event.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2014-01-25 wenzelm 2014-01-25 prefer explicit 'for' context;
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;