2014-03-27 | Christian Urban |
added some comments | file | diff | annotate |
2014-03-27 | Christian Urban |
some minor changes | file | diff | annotate |
2014-03-27 | Christian Urban |
moved some lemmas | file | diff | annotate |
2014-03-24 | Christian Urban |
small modifications | file | diff | annotate |
2014-03-21 | Christian Urban |
minor changes | file | diff | annotate |
2014-03-06 | Christian Urban |
version for Isabelle 2013-2 | file | diff | annotate |
2014-03-06 | Christian Urban |
initial commit for Isabelle 2013-1 | file | diff | annotate |