Paper/Paper.thy
2011-02-08 urbanc a bit more on the paper
2011-02-08 urbanc added coments about functions
2011-02-08 urbanc started to define things more directly
2011-02-08 urbanc small additions
2011-02-07 urbanc parts of the 3 section
2011-02-07 urbanc more on the paper
less more (0) -10 -6 tip