| 2016-01-14 | Christian Urban |
updated paper | file | diff | annotate |
| 2016-01-06 | Christian Urban |
renamed files | file | diff | annotate |
| 2015-10-04 | Christian Urban |
added one more reference to an incorrect specification | file | diff | annotate |
| 2015-09-09 | Christian Urban |
updated for Isabelle 2015 | file | diff | annotate |
| 2014-07-15 | Christian Urban |
updated teh theories to newer Isabelle version | file | diff | annotate |
| 2014-06-12 | Christian Urban |
a few additions | file | diff | annotate |
| 2014-06-09 | Christian Urban |
added another book that makes the error, some more proofs | file | diff | annotate |
| 2014-06-02 | Christian Urban |
updated | file | diff | annotate |