2017-04-28 | Christian Urban | updated | file | diff | annotate |
2017-04-25 | Christian Urban | updated | file | diff | annotate |
2017-04-25 | Christian Urban | updated | file | diff | annotate |
2017-04-20 | Christian Urban | updated | file | diff | annotate |
2017-04-10 | Christian Urban | updated | file | diff | annotate |
2017-03-17 | Christian Urban | updated | file | diff | annotate |
2017-03-16 | Christian Urban |
updasted | file | diff | annotate |
2017-03-06 | Christian Urban |
updated | file | diff | annotate |
2017-02-20 | Christian Urban |
updated | file | diff | annotate |
2017-02-20 | Christian Urban |
updated | file | diff | annotate |
2017-02-06 | Christian Urban |
updated | file | diff | annotate |
2016-12-19 | Christian Urban |
updated | file | diff | annotate |
2016-12-09 | Christian Urban |
updated | file | diff | annotate |
2016-12-09 | Christian Urban |
updated | file | diff | annotate |
2016-10-21 | Christian Urban |
updated | file | diff | annotate |
2016-10-07 | Christian Urban |
updated | file | diff | annotate |
2016-10-07 | Christian Urban |
updated | file | diff | annotate |
2016-10-02 | Christian Urban |
updated | file | diff | annotate |
2016-08-24 | Christian Urban |
updated | file | diff | annotate |
2016-08-16 | Christian Urban |
updated tG definition | file | diff | annotate |
2016-07-12 | Christian Urban |
updated paper | file | diff | annotate |
2016-07-08 | Christian Urban |
updated | file | diff | annotate |
2016-06-17 | Christian Urban |
updated | file | diff | annotate |
2016-06-09 | Christian Urban |
updated | file | diff | annotate |
2016-06-07 | Christian Urban |
minor update | file | diff | annotate |
2016-06-02 | Christian Urban |
updated | file | diff | annotate |
2016-04-15 | Christian Urban |
updated journal paper | file | diff | annotate |
2016-01-28 | Christian Urban |
changes to my repository | file | diff | annotate |
2016-01-28 | Christian Urban |
some small changes | file | diff | annotate |
2016-01-27 | Christian Urban |
some small changes to Correctness and Paper | file | diff | annotate |
2016-01-15 | Christian Urban |
some small changes to the paper | file | diff | annotate |
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 |
2014-05-30 | Christian Urban |
finished proof of acyclity | file | diff | annotate |
2014-05-22 | Christian Urban |
added a bit more text to the paper and separated a theory about Max | file | diff | annotate |
2014-05-15 | Christian Urban |
simplified the cp_rec proof | file | diff | annotate |
2014-05-06 | Christian Urban |
made some modifications. | file | diff | annotate |
2014-03-04 | Christian Urban |
updated | file | diff | annotate |
2014-03-04 | Christian Urban |
cleaned up | file | diff | annotate |
2014-03-04 | Christian Urban |
updated | file | diff | annotate |
2014-03-04 | Christian Urban |
added two more references | file | diff | annotate |
2014-03-04 | Christian Urban |
some additions | file | diff | annotate |
2014-03-04 | Christian Urban |
made some small chages | file | diff | annotate |
2014-03-03 | Christian Urban |
updated | file | diff | annotate |
2014-02-25 | Christian Urban |
added | file | diff | annotate |
2012-12-22 | Christian Urban |
updated | file | diff | annotate |
2012-12-22 | Christian Urban |
added | file | diff | annotate |
2012-12-21 | Christian Urban |
added | file | diff | annotate |
2012-12-21 | Christian Urban |
more one the implementation | file | diff | annotate |
2012-12-21 | Christian Urban |
added explanation of the code | file | diff | annotate |
2012-12-21 | Christian Urban |
updated | file | diff | annotate |
2012-12-20 | Christian Urban |
added | file | diff | annotate |
2012-12-19 | Christian Urban |
added a paragraph about RAGS | file | diff | annotate |
2012-12-19 | Christian Urban |
started code explanation | file | diff | annotate |
2012-12-17 | Christian Urban |
updated | file | diff | annotate |