Graphs.thy
2016-06-09 Christian Urban updated
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
less more (0) tip