Test.thy
2016-06-09 Christian Urban updated
2016-03-21 Christian Urban all updated to Isabelle 2016
2015-10-04 Christian Urban added one more reference to an incorrect specification
2015-09-09 Christian Urban updated for Isabelle 2015
2014-07-15 Christian Urban updated teh theories to newer Isabelle version
2014-06-09 Christian Urban added another book that makes the error, some more proofs
2014-06-03 Christian Urban added a library about graphs
2014-06-02 Christian Urban updated
2014-05-30 Christian Urban finished proof of acyclity
2014-05-24 Christian Urban simplified RAG_acyclic proof
2014-05-23 Christian Urban added a test theory for polishing teh proofs
less more (0) tip