2016-05-18 Christian Urban updated
2016-05-17 Christian Urban Roy's comments
2016-05-17 Christian Urban less squeezing
2016-05-17 Christian Urban updated
2016-05-17 Christian Urban squeezed on 16 pages
2016-05-17 Christian Urban isarfied the simplify theory
2016-05-16 Christian Urban improved simplifying theory
2016-05-16 Christian Urban update
2016-05-11 Christian Urban updated
2016-05-11 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-06 Christian Urban added parser for regexes
2016-05-05 Christian Urban added an extended version of re-simp
2016-05-04 Christian Urban added benchmark from Fahad
2016-05-04 Christian Urban updated literature
2016-04-28 Christian Urban added files with test strings
2016-04-28 Christian Urban updated
2016-04-13 Christian Urban some small typos
2016-04-09 Christian Urban added test cases from the haskell repository
2016-04-05 Christian Urban corrected typo and corrected proofs in Sulzmann.thy
2016-04-05 Christian Urban updated programs
2016-04-01 Christian Urban added bit-coded version
2016-03-31 Christian Urban cleaned up scala code
2016-03-19 Christian Urban updated implementations
2016-03-18 Christian Urban updated
2016-03-18 Christian Urban updated
2016-03-16 Christian Urban added literature
2016-03-16 Christian Urban updated
2016-03-15 Christian Urban updated
2016-03-14 Christian Urban updated
2016-03-14 Christian Urban updated
2016-03-13 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-10 Christian Urban updated
2016-03-09 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
2016-03-08 Christian Urban updated
(0) -100 -48 +48 +100 +300 tip