2018-05-15 Christian Urban updated
2018-05-15 Christian Urban updated
2018-01-12 Christian Urban updated
2017-12-07 Christian Urban updated
2017-10-25 cu updated
2017-10-10 cu updated for Isabelle 2017
2017-10-10 cu updated
2017-10-08 cu updated
2017-10-07 cu updated
2017-10-05 Christian Urban updated
2017-09-22 Christian Urban updated
2017-09-05 Christian Urban updated
2017-08-26 Christian Urban simplified proof
2017-08-25 Christian Urban updated
2017-08-25 Christian Urban updated
2017-08-25 Christian Urban updated
2017-08-18 Christian Urban updated
2017-08-11 Christian Urban updated
2017-07-19 Christian Urban updated
2017-07-18 Christian Urban changed definitions of PRF
2017-07-06 Christian Urban updated
2017-07-04 Christian Urban isar proofs
2017-07-04 Christian Urban isar proofs
2017-07-04 Christian Urban isar proofs
2017-07-01 Christian Urban updated
2017-06-30 Christian Urban updated
2017-06-30 Christian Urban added
2017-06-30 Christian Urban updated
2017-06-29 Christian Urban updated
2017-06-28 Christian Urban updated
2017-06-27 Christian Urban polished
2017-06-27 Christian Urban polished
2017-06-27 Christian Urban polished
2017-06-27 Christian Urban polished
2017-06-26 Christian Urban polished
2017-06-26 Christian Urban updated
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
2017-05-17 Christian Urban updated literature
2017-05-17 Christian Urban updated literature
2017-04-01 Christian Urban added more literature about extended partial derivative automata
2017-03-28 Christian Urban updated
2017-03-21 Christian Urban updated for extended partial derivatives
2017-03-20 Christian Urban added automata implementation
2017-03-17 Christian Urban added AND-regular expression (intersection/conjunction)
2017-03-13 Christian Urban updated
2017-03-13 Christian Urban updated
2017-03-11 Christian Urban updated
2017-03-11 Christian Urban updated
2017-03-08 Christian Urban strengthened PLUS-posix definition
2017-03-07 Christian Urban added lit
2017-03-05 Christian Urban updated the re-ext-scala file
2017-03-04 Christian Urban just for fun added the case for PLUS (was already proved as FROMNTIMES)
2017-03-04 Christian Urban updated
2017-03-02 Christian Urban polished some of the definitions
2017-03-02 Christian Urban NMTIMES case also done
2017-03-01 Christian Urban deleted unused theorems
2017-02-28 Christian Urban FROMNTIMES now done
(0) -100 -60 +60 +100 +300 tip