Paper/Paper.thy
2011-02-07 urbanc parts of the 3 section
2011-02-07 urbanc more on the paper
2011-02-06 urbanc slightly more on the paper
2011-02-05 urbanc more intro
2011-02-04 urbanc more on the introduction
2011-02-03 urbanc more to the intro
2011-02-03 urbanc a bit more tuning on the introduction
less more (0) -10 -7 tip