doc-src/TutorialI/Protocol/Message.thy
Fri, 13 Mar 2009 19:53:09 +0100 wenzelm more regular method setup via SIMPLE_METHOD;
less more (0) -10 -1 tip