Paper/Paper.thy
2010-07-23 Christian Urban samll changes
2010-07-16 Christian Urban submitted version
2010-07-16 Christian Urban more paper
2010-07-16 Christian Urban more on the paper
2010-07-16 Christian Urban more on the paper
2010-07-15 Christian Urban a bit more to the paper
2010-07-14 Christian Urban more on the paper
2010-07-09 Christian Urban fixed
2010-07-09 Christian Urban before examples
2010-07-09 Christian Urban finished alpha-section
2010-07-07 Christian Urban more on the paper
2010-07-07 Christian Urban more on the paper
2010-07-02 Christian Urban more on the paper
2010-07-02 Christian Urban finished fv-section
2010-07-01 Christian Urban more on the paper
2010-07-01 Christian Urban spell check
2010-06-30 Christian Urban more work on the paper
2010-06-23 Christian Urban some slight polishing on the paper
2010-06-23 Christian Urban merged cezary's changes
2010-06-10 Christian Urban added to the popl-paper a pointer to work by Altenkirch
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
less more (0) -100 -50 -30 tip