LMCS-Paper/Paper.thy
Wed, 29 Feb 2012 03:12:52 +0000 Christian Urban implemented all comments from the reviewer
Mon, 09 Jan 2012 10:45:12 +0000 Christian Urban merged
Mon, 09 Jan 2012 10:12:46 +0000 Christian Urban added the simple fixes for the paper
less more (0) -30 -10 -3 tip