thys/ROOT
2021-10-10 Christian Urban added llncs.cls
2021-10-10 Christian Urban updated for Isabelle 2021
2021-10-09 Christian Urban updated
2019-07-29 Christian Urban updated
2018-08-16 Christian Urban updated
2018-08-15 Christian Urban added proof for bitcoded algorithm
2017-10-25 cu updated
2017-10-10 cu updated
2017-07-19 Christian Urban updated
2017-06-30 Christian Urban updated
2017-06-30 Christian Urban updated
2017-06-26 Christian Urban added a proof that Positional ordering is equivalent to direct posix definition
2017-02-28 Christian Urban FROMNTIMES not yet done
2017-02-26 Christian Urban updated
2016-05-18 Christian Urban updated
2016-03-14 Christian Urban updated
2016-03-13 Christian Urban updated
2016-02-05 Christian Urban started a paper and moved cruft to Attic
less more (0) tip