thys/LexerExt.thy
2022-01-27 Christian Urban updated Sizebound4
2017-10-10 cu updated
2017-10-08 cu updated
2017-10-07 cu updated
2017-07-04 Christian Urban isar proofs
2017-05-17 Christian Urban updated literature
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-11 Christian Urban updated
2017-03-11 Christian Urban updated
2017-03-08 Christian Urban strengthened PLUS-posix definition
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
2017-02-28 Christian Urban FROMNTIMES not yet done
2017-02-28 Christian Urban FROMNTIMES not yet done
2017-02-28 Christian Urban added two sanity lemmas
2017-02-27 Christian Urban added also the ntimes case
2017-02-27 Christian Urban updated
less more (0) tip