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!!!!
2022-04-15 Chengsong almost there
2022-04-15 Chengsong 1sorry left
2022-04-13 Chengsong more sorrys fileld
2022-04-13 Chengsong again starClosedForms
2022-04-13 Chengsong starclosed
2022-04-12 Chengsong central lemma for seqclosedforms
2022-04-09 Chengsong changeto sflat def
2022-04-09 Chengsong some
2022-04-08 Chengsong closedformseq
2022-04-07 Chengsong christian's
2022-04-07 Chengsong a few more
2022-04-04 Chengsong hello
2022-04-03 Chengsong fun
2022-04-01 Chengsong out
2022-04-01 Chengsong hello
2022-03-30 Chengsong identities
2022-03-30 Christian Urban made paper changes after ITP comments
2022-03-29 Chengsong recent
2022-03-28 Chengsong hi
2022-03-27 Chengsong thesis
2022-03-26 Chengsong nowworks?
2022-03-26 Chengsong all electron pics removed
(0) -300 -100 -64 +64 +100 tip