Skip to content
Failed

Changes

Summary

  1. merged
  2. Updated entry and referenced theories from the Regular_Set entry
Changeset 6664:b78da845f64a by christian urban _christian dot urban at kcl dot ac dot uk_:
Updated entry and referenced theories from the Regular_Set entry
The file was modified thys/Posix-Lexing/Lexer.thy (diff)
The file was modified thys/Posix-Lexing/ROOT (diff)
The file was modified thys/Posix-Lexing/Simplifying.thy (diff)
The file was removedthys/Posix-Lexing/Derivatives.thy
The file was removedthys/Posix-Lexing/Regular_Exp.thy
The file was removedthys/Posix-Lexing/Regular_Set.thy