2018-05-15 | Christian Urban | updated | changeset | files |
2018-05-15 | Christian Urban | updated | changeset | files |
2018-01-12 | Christian Urban | updated | changeset | files |
2017-12-07 | Christian Urban | updated | changeset | files |
2017-10-25 | cu | updated | changeset | files |
2017-10-10 | cu | updated for Isabelle 2017 | changeset | files |
2017-10-10 | cu | updated | changeset | files |
2017-10-08 | cu | updated | changeset | files |
2017-10-07 | cu | updated | changeset | files |
2017-10-05 | Christian Urban | updated | changeset | files |
2017-09-22 | Christian Urban | updated | changeset | files |
2017-09-05 | Christian Urban | updated | changeset | files |
2017-08-26 | Christian Urban | simplified proof | changeset | files |
2017-08-25 | Christian Urban | updated | changeset | files |
2017-08-25 | Christian Urban | updated | changeset | files |
2017-08-25 | Christian Urban | updated | changeset | files |
2017-08-18 | Christian Urban | updated | changeset | files |
2017-08-11 | Christian Urban | updated | changeset | files |
2017-07-19 | Christian Urban | updated | changeset | files |
2017-07-18 | Christian Urban | changed definitions of PRF | changeset | files |
2017-07-06 | Christian Urban | updated | changeset | files |
2017-07-04 | Christian Urban | isar proofs | changeset | files |
2017-07-04 | Christian Urban | isar proofs | changeset | files |
2017-07-04 | Christian Urban | isar proofs | changeset | files |
2017-07-01 | Christian Urban | updated | changeset | files |
2017-06-30 | Christian Urban | updated | changeset | files |
2017-06-30 | Christian Urban | added | changeset | files |
2017-06-30 | Christian Urban | updated | changeset | files |
2017-06-29 | Christian Urban | updated | changeset | files |
2017-06-28 | Christian Urban | updated | changeset | files |
2017-06-27 | Christian Urban | polished | changeset | files |
2017-06-27 | Christian Urban | polished | changeset | files |
2017-06-27 | Christian Urban | polished | changeset | files |
2017-06-27 | Christian Urban | polished | changeset | files |
2017-06-26 | Christian Urban | polished | changeset | files |
2017-06-26 | Christian Urban | updated | changeset | files |
2017-06-26 | Christian Urban | added a proof that Positional ordering is equivalent to direct posix definition | changeset | files |
2017-06-25 | Christian Urban | updated | changeset | files |
2017-06-24 | Christian Urban | updated | changeset | files |
2017-06-22 | Christian Urban | updated | changeset | files |
2017-05-17 | Christian Urban | updated literature | changeset | files |
2017-05-17 | Christian Urban | updated literature | changeset | files |
2017-04-01 | Christian Urban | added more literature about extended partial derivative automata | changeset | files |
2017-03-28 | Christian Urban | updated | changeset | files |
2017-03-21 | Christian Urban | updated for extended partial derivatives | changeset | files |
2017-03-20 | Christian Urban | added automata implementation | changeset | files |
2017-03-17 | Christian Urban | added AND-regular expression (intersection/conjunction) | changeset | files |
2017-03-13 | Christian Urban | updated | changeset | files |
2017-03-13 | Christian Urban | updated | changeset | files |
2017-03-11 | Christian Urban | updated | changeset | files |
2017-03-11 | Christian Urban | updated | changeset | files |
2017-03-08 | Christian Urban | strengthened PLUS-posix definition | changeset | files |
2017-03-07 | Christian Urban | added lit | changeset | files |
2017-03-05 | Christian Urban | updated the re-ext-scala file | changeset | files |
2017-03-04 | Christian Urban | just for fun added the case for PLUS (was already proved as FROMNTIMES) | changeset | files |
2017-03-04 | Christian Urban | updated | changeset | files |
2017-03-02 | Christian Urban | polished some of the definitions | changeset | files |
2017-03-02 | Christian Urban | NMTIMES case also done | changeset | files |
2017-03-01 | Christian Urban | deleted unused theorems | changeset | files |
2017-02-28 | Christian Urban | FROMNTIMES now done | changeset | files |