Paper/Paper.thy
Tue, 22 Feb 2011 12:43:05 +0000 urbanc three typos
Mon, 21 Feb 2011 03:35:39 +0000 urbanc one further polishing
Mon, 21 Feb 2011 03:33:27 +0000 urbanc final final polishing
less more (0) -30 -10 -3 tip