2015-12-17 | Christian Urban |
updated | file | diff | annotate |
2015-06-10 | Christian Urban |
added frisch / cardelli paper | file | diff | annotate |
2015-06-08 | Christian Urban |
updated the Isabelle theories with the totality proof | file | diff | annotate |