2021-10-10 | Christian Urban | added llncs.cls | file | diff | annotate |
2021-10-10 | Christian Urban | updated for Isabelle 2021 | file | diff | annotate |
2021-10-09 | Christian Urban | updated | file | diff | annotate |
2019-07-29 | Christian Urban | updated | file | diff | annotate |
2018-08-16 | Christian Urban | updated | file | diff | annotate |
2018-08-15 | Christian Urban | added proof for bitcoded algorithm | file | diff | annotate |
2017-10-25 | cu | updated | file | diff | annotate |
2017-10-10 | cu | updated | file | diff | annotate |
2017-07-19 | Christian Urban | updated | file | diff | annotate |
2017-06-30 | Christian Urban | updated | file | diff | annotate |
2017-06-30 | 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 |
2017-02-28 | Christian Urban | FROMNTIMES not yet done | file | diff | annotate |
2017-02-26 | Christian Urban | updated | file | diff | annotate |
2016-05-18 | Christian Urban |
updated | file | diff | annotate |
2016-03-14 | Christian Urban |
updated | file | diff | annotate |
2016-03-13 | Christian Urban |
updated | file | diff | annotate |
2016-02-05 | Christian Urban |
started a paper and moved cruft to Attic | file | diff | annotate |