Summary
- fix Christian Urban's email address
- added Regexp_Constructions.thy to Regular-Sets
The file was modified | metadata/metadata (diff) |
The file was added | thys/Regular-Sets/Regexp_Constructions.thy |
The file was modified | metadata/metadata (diff) |
The file was modified | thys/Regular-Sets/ROOT (diff) |
The file was modified | thys/Regular-Sets/Regular_Exp.thy (diff) |
The file was modified | thys/Regular-Sets/Regular_Set.thy (diff) |