doc-src/TutorialI/Protocol/Message.thy
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 -2 tip