prio/Paper/Paper.thy
Mon, 13 Feb 2012 15:35:08 +0000 urbanc added implementation section
Mon, 13 Feb 2012 10:57:47 +0000 urbanc merged Xingyuan's changes
Mon, 13 Feb 2012 10:44:42 +0000 urbanc polished
Mon, 13 Feb 2012 05:41:53 +0000 urbanc more on the paper
Mon, 13 Feb 2012 04:22:52 +0000 urbanc more on the paper
Mon, 13 Feb 2012 03:31:40 +0000 urbanc assumptions
less more (0) -30 -10 -6 tip