2013-10-03 Christian Urban added slides
2013-10-02 Christian Urban added new slides
2013-09-27 Christian Urban added paper by Tobias
2013-09-17 Christian Urban new version
2013-09-14 Christian Urban more changes for final submission
2013-09-12 Christian Urban soem small changes
2013-09-12 Christian Urban updated to new Isabelle
2013-07-11 Christian Urban comment by Chunhan
2013-07-11 Christian Urban some more polishing
2013-07-10 Christian Urban polished
2013-07-10 Christian Urban added modified version adn answer to the reviewers
2013-07-10 Christian Urban added coquand siles paper
2013-07-05 Christian Urban polished more and updated to new isabelle
2013-07-05 Christian Urban deleted utm-work from the repository
2013-03-04 Christian Urban updated
Loading...
(0) -300 -100 -15 tip