added the r{n..} regular expression to the extensions directory in the Posix-Lexing entry, added two small lemmas to the Regular-Set theory
Description
Description
Details
Details
- Provenance
Christian Urban <christian.urban@kcl.ac.uk> Authored on - Parents
- rAFPb8bf214bae37: merge from afp-2021-1
- Branches
- Unknown
- Tags