thys/Sulzmann.thy
2019-02-23 Christian Urban adapted the Bitcoded correctness proof to using AALTs
2019-02-10 Christian Urban updated to Isabelle 2018
2019-01-02 Christian Urban updated
2018-09-30 Christian Urban updated
2018-08-18 Christian Urban updated
2018-08-17 Christian Urban updated
2018-08-16 Christian Urban updated
2018-08-15 Christian Urban added proof for bitcoded algorithm
2017-06-29 Christian Urban updated
2017-06-28 Christian Urban updated
2017-06-27 Christian Urban polished
2017-06-26 Christian Urban added a proof that Positional ordering is equivalent to direct posix definition
2017-06-25 Christian Urban updated
2017-06-24 Christian Urban updated
2017-06-22 Christian Urban updated
2016-07-20 Christian Urban added paper about size derivatives
2016-05-18 Christian Urban updated
2016-04-05 Christian Urban corrected typo and corrected proofs in Sulzmann.thy
2016-04-05 Christian Urban updated programs
2016-03-18 Christian Urban updated
2016-03-13 Christian Urban updated
less more (0) tip