Paper/Paper.thy
2010-06-01 Christian Urban tuned
2010-05-26 Christian Urban added FSet to the correct paper
2010-05-26 Christian Urban added FSet
2010-05-25 Christian Urban edits from the reviewers
2010-05-24 Christian Urban tuned paper
2010-05-19 Christian Urban added comments about pottiers work
2010-05-18 Christian Urban soem minor tuning
2010-05-16 Christian Urban tuned paper
2010-05-15 Christian Urban tuned paper
2010-05-14 Christian Urban tuned a bit the paper
2010-05-14 Christian Urban tuned a bit the paper
2010-05-13 Christian Urban tuned the paper
2010-04-27 Christian Urban merged
2010-04-27 Christian Urban one more pass over the paper
2010-04-27 Christian Urban more polishing on the paper
less more (0) -100 -15 tip