Paper/Paper.thy
Thu, 10 Jun 2010 13:28:38 +0200 Christian Urban added to the popl-paper a pointer to work by Altenkirch
Tue, 01 Jun 2010 15:45:43 +0200 Christian Urban tuned
Wed, 26 May 2010 15:35:34 +0200 Christian Urban added FSet to the correct paper
Wed, 26 May 2010 15:26:00 +0200 Christian Urban added FSet
Tue, 25 May 2010 07:59:16 +0200 Christian Urban edits from the reviewers
Mon, 24 May 2010 22:47:06 +0100 Christian Urban tuned paper
Wed, 19 May 2010 12:43:38 +0100 Christian Urban added comments about pottiers work
Tue, 18 May 2010 14:40:05 +0100 Christian Urban soem minor tuning
Sun, 16 May 2010 11:00:44 +0100 Christian Urban tuned paper
Sat, 15 May 2010 22:06:06 +0100 Christian Urban tuned paper
Fri, 14 May 2010 21:18:34 +0100 Christian Urban tuned a bit the paper
Fri, 14 May 2010 15:02:25 +0100 Christian Urban tuned a bit the paper
Thu, 13 May 2010 17:41:28 +0100 Christian Urban tuned the paper
Tue, 27 Apr 2010 19:51:35 +0200 Christian Urban merged
less more (0) -100 -14 tip