src/Doc/Tutorial/Protocol/Message.thy
Tue, 23 Feb 2016 17:47:23 +0100 nipkow more canonical names
Wed, 30 Dec 2015 20:12:26 +0100 wenzelm more symbols;
less more (0) -10 -2 tip