2017-02-07 | Christian Urban | test9 | file | diff | annotate |
2017-02-07 | Christian Urban | test8 | file | diff | annotate |
2017-02-07 | Christian Urban | test7 | file | diff | annotate |
2017-02-07 | Christian Urban | test6 | file | diff | annotate |
2017-02-07 | Christian Urban | test | file | diff | annotate |
2017-02-07 | Christian Urban | test | file | diff | annotate |
2016-01-27 | Christian Urban |
merged | file | diff | annotate |
2016-01-06 | Christian Urban |
renamed files | file | diff | annotate |
2015-10-06 | Christian Urban |
test | file | diff | annotate |
2015-10-06 | Christian Urban |
another test | file | diff | annotate |
2015-10-06 | Christian Urban |
test | file | diff | annotate |
2015-10-06 | xingyuan zhang | Just a test change | file | diff | annotate |
2015-09-09 | Christian Urban |
updated for Isabelle 2015 | 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-14 | Christian Urban |
test | file | diff | annotate |
2014-03-04 | Christian Urban |
updated readme | file | diff | annotate |
2012-12-06 | Christian Urban |
added | file | diff | annotate |