2012-02-29 | Christian Urban | final changes to the lmcs paper | file | diff | annotate |
2012-02-29 | Christian Urban | implemented all comments from the reviewer | file | diff | annotate |
2011-09-21 | Christian Urban | bib | file | diff | annotate |
2011-09-21 | Christian Urban | more polishing | file | diff | annotate |
2011-09-21 | Cezary Kaliszyk | Correct BIB entry | file | diff | annotate |
2011-09-19 | Christian Urban | polished | file | diff | annotate |
2011-09-16 | Christian Urban | all material | file | diff | annotate |
2011-09-13 | Christian Urban | more on paper | file | diff | annotate |
2011-09-13 | Christian Urban | more on paper | file | diff | annotate |
2011-08-18 | Christian Urban | a bit more on the paper | file | diff | annotate |
2011-08-17 | Christian Urban | more on the lmcs paper | file | diff | annotate |
2011-08-12 | Christian Urban | started lmcs paper (isabelle make lmcs) | file | diff | annotate |