thys/BitCoded.thy
2022-01-07 Christian Urban deleted *.tex files from Journal - they are recreated
2019-08-20 Christian Urban updated contains
2019-08-19 Chengsong hope it works
2019-08-19 Chengsong bad news
2019-07-30 Christian Urban snapshot
2019-07-29 Christian Urban snapshot
2019-07-29 Christian Urban a simple proof of big0
2019-07-29 Christian Urban snapshot
2019-07-29 Christian Urban snapshot
2019-07-29 Christian Urban checkpoint
2019-07-29 Christian Urban updated
2019-06-10 Christian Urban updated
2019-05-23 Christian Urban added another context-free-expression paper
2019-05-15 Christian Urban updated
2019-05-14 Christian Urban updaed good
2019-05-10 Christian Urban updated
2019-04-11 Christian Urban updated
2019-03-16 Christian Urban updated
2019-03-13 Christian Urban updated
2019-02-23 Christian Urban adapted the Bitcoded correctness proof to using AALTs
2019-02-17 Christian Urban updated
less more (0) tip