Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

added the r{n..} regular expression to the extensions directory in the Posix-Lexing entry, added two small lemmas to the Regular-Set theory

Changeset 12750:0f47c7a36c6d by Christian Urban _christian.urban@kcl.ac.uk_: added the r{n..} regular expression to the extensions directory in the Posix-Lexing entry, added two small lemmas to the Regular-Set theory
The file was modified	`thys/Posix-Lexing/Extensions/Derivatives3.thy`
The file was modified	`thys/Posix-Lexing/Extensions/Lexer3.thy`
The file was modified	`thys/Posix-Lexing/Extensions/LexicalVals3.thy`
The file was modified	`thys/Posix-Lexing/Extensions/Positions3.thy`
The file was modified	`thys/Posix-Lexing/Extensions/Regular_Exps3.thy`
The file was modified	`thys/Regular-Sets/Regular_Set.thy`