2016-06-09 | Christian Urban |
updated | file | diff | annotate |
2016-03-21 | Christian Urban |
all updated to Isabelle 2016 | 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-09 | Christian Urban |
added another book that makes the error, some more proofs | file | diff | annotate |
2014-06-03 | Christian Urban |
added a library about graphs | file | diff | annotate |
2014-06-02 | Christian Urban |
updated | file | diff | annotate |
2014-05-30 | Christian Urban |
finished proof of acyclity | file | diff | annotate |
2014-05-24 | Christian Urban |
simplified RAG_acyclic proof | file | diff | annotate |
2014-05-23 | Christian Urban |
added a test theory for polishing teh proofs | file | diff | annotate |