LMCS-Paper/Paper.thy
2012-04-19 Christian Urban final changes to the lmcs-paper
2012-04-12 Christian Urban another iteration of the lmcs paper
2012-04-10 Christian Urban some slight polishing on the LMCS paper
2012-02-29 Christian Urban spellcheck
2012-02-29 Christian Urban final changes to the lmcs paper
2012-02-29 Christian Urban more one the lmcs-paper
2012-02-29 Christian Urban more on the lmcs paper
2012-02-29 Christian Urban implemented all comments from the reviewer
2012-01-09 Christian Urban merged
2012-01-09 Christian Urban added the simple fixes for the paper
2012-01-02 Christian Urban added definition for generalisation of type schemes (for paper)
2011-12-29 Christian Urban made the paper running again
2011-09-22 Christian Urban final polishing?
2011-09-21 Cezary Kaliszyk spelling
2011-09-21 Christian Urban added comments from Andrei
2011-09-21 Christian Urban more polishing
2011-09-21 Christian Urban added a footnote
2011-09-21 Christian Urban some minor polishing
2011-09-21 Christian Urban some minor polishing
2011-09-21 Christian Urban some polishing
2011-09-21 Christian Urban changes
2011-09-21 Christian Urban deleted PNil
2011-09-21 Christian Urban deleted PNil
2011-09-20 Christian Urban more polishing
2011-09-20 Cezary Kaliszyk minor
2011-09-19 Christian Urban polished
2011-09-18 Christian Urban included comments from Ramana
2011-09-18 Christian Urban polished
2011-09-16 Christian Urban all material
2011-09-16 Christian Urban almost finished
less more (0) -50 -30 tip