prio/Paper/Paper.thy
Tue, 14 Feb 2012 02:53:34 +0000 urbanc draft
Tue, 14 Feb 2012 02:24:09 +0000 urbanc key lemma
Tue, 14 Feb 2012 00:27:47 +0000 urbanc fixed 1st paragraph
Tue, 14 Feb 2012 00:11:17 +0000 urbanc 1st paragraph
Mon, 13 Feb 2012 23:50:37 +0000 urbanc 1st paragraph
Mon, 13 Feb 2012 23:31:40 +0000 urbanc polished implementation
Mon, 13 Feb 2012 22:45:06 +0000 zhang Line numbers added.
less more (0) -30 -10 -7 tip