Journal/Paper.thy
2014-05-06 Christian Urban made some modifications.
2014-03-04 Christian Urban updated
2014-03-04 Christian Urban cleaned up
2014-03-04 Christian Urban updated
2014-03-04 Christian Urban added two more references
2014-03-04 Christian Urban some additions
2014-03-04 Christian Urban made some small chages
2014-03-03 Christian Urban updated
2014-02-25 Christian Urban added
2012-12-22 Christian Urban updated
2012-12-22 Christian Urban added
2012-12-21 Christian Urban added
2012-12-21 Christian Urban more one the implementation
2012-12-21 Christian Urban added explanation of the code
2012-12-21 Christian Urban updated
2012-12-20 Christian Urban added
2012-12-19 Christian Urban added a paragraph about RAGS
2012-12-19 Christian Urban started code explanation
2012-12-17 Christian Urban updated
less more (0) tip