doc-src/TutorialI/Protocol/Message.thy
Wed, 07 May 2008 10:59:02 +0200 berghofe Replaced blast by fast in proof of parts_singleton, since blast looped
less more (0) -1 tip