Paper/Paper.thy
2010-03-29 Christian Urban merged
2010-03-29 Christian Urban small changes in the core-haskell spec
2010-03-29 Christian Urban clarified core-haskell example
2010-03-29 Christian Urban spell check
2010-03-29 Christian Urban more on the paper
2010-03-28 Christian Urban more on the paper
2010-03-27 Christian Urban more on the paper
2010-03-26 Christian Urban more on the paper
2010-03-26 Christian Urban merged
2010-03-25 Christian Urban more on the paper
2010-03-24 Christian Urban more on the paper
2010-03-24 Christian Urban some tuning; possible fix for strange paper generation
2010-03-24 Christian Urban more on the paper
2010-03-24 Christian Urban tuned paper
less more (0) -14 tip