src/Doc/Tutorial/Protocol/Message.thy
Sat, 01 Nov 2014 14:20:38 +0100 wenzelm eliminated spurious semicolons;
Thu, 11 Sep 2014 18:54:36 +0200 blanchet renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
less more (0) -2 tip