doc-src/TutorialI/Protocol/Message.thy
Wed, 11 Jul 2007 10:53:39 +0200 berghofe Adapted to new inductive definition package.
less more (0) -1 tip