2022-09-22 Chengsong chap1
2022-09-21 Chengsong more
2022-09-12 Chengsong chap4 comments done
2022-09-10 Christian Urban updated paper
2022-09-10 Christian Urban simplified the n-times case in decode_aux
2022-09-05 Chengsong more bsimpidem
2022-09-02 Chengsong more chap 56
2022-09-02 Chengsong more
2022-09-02 Chengsong more
2022-09-02 Chengsong more chap5
2022-09-01 Chengsong more
2022-09-01 Chengsong more polishing integrated comments chap2
2022-08-31 Chengsong more chap5 and chap6 bsimp_idem
2022-08-31 Chengsong chap4 finished
2022-08-30 Chengsong data
2022-08-29 Chengsong bsimp idempotency
2022-08-29 Chengsong more chap4
2022-08-26 Chengsong chap4 more
2022-08-23 Chengsong chap4 nub
2022-08-23 Chengsong chap4
2022-08-22 Chengsong chap3 done
2022-08-20 Chengsong chap3 almost done
2022-08-17 Chengsong halfway chap3
2022-08-17 Chengsong more chap3
2022-08-15 Christian Urban updated paper and literature
2022-08-14 Chengsong thesis chap2
2022-08-11 Chengsong thesis chap5
2022-08-02 Chengsong more
2022-07-21 Chengsong merge chritian changes
2022-07-21 Chengsong chapter2 finished polishing
2022-07-17 Christian Urban removed junk in BlexerSimp
2022-07-17 Christian Urban added paper about counting automata
2022-07-17 Christian Urban added paper
2022-07-17 Christian Urban updated paper and corresponding theories
2022-07-16 Chengsong more chapter2 modifications
2022-07-14 Chengsong more updaates
2022-07-13 Chengsong got Christian changes
2022-07-13 Chengsong removed files that changed their names
2022-07-13 Chengsong more
2022-07-09 Christian Urban updated paper and theories to include n-times
2022-07-04 Chengsong more
2022-07-04 Chengsong more done
2022-07-04 Chengsong more data
2022-07-04 Chengsong data
2022-07-04 Chengsong haha
2022-07-01 Chengsong more changes
2022-06-29 Chengsong hello
2022-06-28 Chengsong more
2022-06-26 Chengsong more
2022-06-24 Chengsong more changes
2022-06-24 Chengsong start of day
2022-06-23 Chengsong modified some proofs of s~>*
2022-06-23 Chengsong more deletion of bsimp related
2022-06-23 Chengsong bsimp def removed
2022-06-23 Chengsong before removing distinctWith
2022-06-23 Chengsong before alternating rewriting relation
2022-06-23 Chengsong beforeBig changes
2022-06-23 Chengsong more changes to blexersimp.thy
2022-06-23 Chengsong hello
2022-06-23 Chengsong thesis_thys
2022-06-14 Chengsong chapter3 finished
2022-06-12 Chengsong some comments implemented
2022-06-09 Chengsong more data
2022-06-09 Chengsong more
2022-06-09 Chengsong intro and chap2
2022-06-06 Chengsong more
2022-06-06 Chengsong comments addressed all
2022-06-06 Chengsong fixed plotting error 6.1
2022-06-06 Chengsong more
2022-06-06 Chengsong more
2022-06-03 Chengsong restructured
2022-05-31 Chengsong more
2022-05-30 Chengsong all comments addressed
2022-05-30 Chengsong more
2022-05-30 Chengsong revised according to comments
2022-05-28 Chengsong all chapters put in
2022-05-28 Chengsong updated
2022-05-28 Christian Urban fixed latex problems
2022-05-27 Chengsong more data
2022-05-27 Chengsong all the data
2022-05-27 Chengsong datas
2022-05-27 Chengsong data
2022-05-27 Chengsong apters
2022-05-27 Chengsong more
2022-05-26 Chengsong more to thesis
2022-05-20 Chengsong for plotting
2022-05-20 Chengsong blexer2: modified for plotting
2022-05-17 Chengsong a bit
2022-05-16 Chengsong chapter2
2022-05-09 Chengsong more isarfy
2022-05-09 Chengsong rewrite rules modified slightly
2022-05-09 Chengsong isarfied
2022-05-08 Christian Urban updated
2022-05-08 Christian Urban updated bder ASEQs case
2022-05-08 Chengsong blexer2
2022-05-08 Chengsong thesis section2.2
2022-05-08 Chengsong thesis chapter 2 section 2.4 2.5
2022-05-07 Chengsong thesis chapter2 section 2.4
2022-05-08 Christian Urban added ASEQs version of Blexer
2022-05-06 Chengsong new writing
2022-05-03 Christian Urban fixed a small typo in the Papaer.thy
2022-05-01 Chengsong hahah
2022-05-01 Chengsong sad
2022-05-01 Christian Urban updated the paper
2022-05-01 Christian Urban fixed tiny typo in the paper
2022-04-29 Christian Urban cleaned up
2022-04-29 Christian Urban updated to include the paper
2022-04-28 Christian Urban a fresh directory with cleaned up code
2022-04-25 Chengsong blexer2
2022-04-21 Chengsong done
2022-04-19 Chengsong problem with erase
2022-04-16 Chengsong all done!!!!
(0) -112 tip