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
2013-03-01 Christian Urban updated
2013-03-01 Christian Urban adapted to JAR
2012-12-12 Christian Urban slight changes
2012-12-06 Christian Urban added pip to a new repository
Loading...
(0) -300 -100 -15 tip