2021-10-09 | Christian Urban | updated | file | diff | annotate |
2019-07-29 | Christian Urban | updated | file | diff | annotate |
2019-02-17 | Christian Urban | updated | file | diff | annotate |
2019-02-10 | Christian Urban | updated to Isabelle 2018 | file | diff | annotate |
2018-09-10 | Christian Urban | updated | file | diff | annotate |
2017-09-05 | Christian Urban | updated | file | diff | annotate |
2017-08-26 | Christian Urban | simplified proof | file | diff | annotate |
2017-08-25 | Christian Urban | updated | file | diff | annotate |
2017-08-25 | Christian Urban | updated | file | diff | annotate |
2017-08-18 | Christian Urban | updated | file | diff | annotate |
2017-08-11 | Christian Urban | updated | file | diff | annotate |
2017-07-19 | Christian Urban | updated | file | diff | annotate |
2017-07-18 | Christian Urban | changed definitions of PRF | file | diff | annotate |
2017-07-06 | Christian Urban | updated | file | diff | annotate |
2017-07-04 | Christian Urban | isar proofs | file | diff | annotate |
2017-07-04 | Christian Urban | isar proofs | file | diff | annotate |
2017-07-04 | Christian Urban | isar proofs | file | diff | annotate |
2017-06-30 | Christian Urban | updated | file | diff | annotate |
2017-06-29 | Christian Urban | updated | file | diff | annotate |
2017-06-28 | Christian Urban | updated | file | diff | annotate |
2017-06-27 | Christian Urban | polished | file | diff | annotate |
2017-06-27 | Christian Urban | polished | file | diff | annotate |
2017-06-27 | Christian Urban | polished | file | diff | annotate |
2017-06-27 | Christian Urban | polished | file | diff | annotate |
2017-06-26 | Christian Urban | polished | file | diff | annotate |
2017-06-26 | Christian Urban | updated | file | diff | annotate |
2017-06-26 | Christian Urban | added a proof that Positional ordering is equivalent to direct posix definition | file | diff | annotate |