src/HOL/Metis_Examples/Message.thy
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
less more (0) -10 -1 tip