doc-src/TutorialI/Protocol/Message.thy
Mon, 16 Mar 2009 17:51:24 +0100 wenzelm updated generated file;
Fri, 13 Mar 2009 19:53:09 +0100 wenzelm more regular method setup via SIMPLE_METHOD;
Mon, 16 Jun 2008 22:13:39 +0200 wenzelm pervasive RuleInsts;
less more (0) -10 -3 tip