LMCS-Paper/Paper.thy
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
2011-09-16 Christian Urban more on paper
2011-09-14 Christian Urban more on the paper
2011-09-14 Christian Urban more on paper
2011-09-14 Cezary Kaliszyk minor
2011-09-13 Christian Urban more on paper
2011-09-13 Christian Urban more on paper
2011-09-13 Christian Urban more on paper
2011-09-12 Christian Urban more on the paper
2011-09-11 Christian Urban more
2011-09-11 Christian Urban more on paper
2011-09-09 Christian Urban more
2011-09-09 Christian Urban paper
2011-09-09 Christian Urban merged
2011-09-08 Christian Urban more on paper
2011-09-09 Christian Urban more
2011-09-08 Christian Urban more on the paper
2011-09-07 Christian Urban more on paper
2011-09-06 Christian Urban more on the lmcs paper
2011-08-17 Christian Urban more on the lmcs paper
2011-08-17 Christian Urban a little tuning on the paper
2011-08-16 Christian Urban more on the intro and correct style-files
2011-08-12 Christian Urban started lmcs paper (isabelle make lmcs)
less more (0) tip