Summary
- adapted to devel
The file was modified | thys/Regex_Equivalence/Deriv_PDeriv.thy (diff) |
The file was modified | thys/Regex_Equivalence/Derivatives_Finite.thy (diff) |
The file was modified | thys/Regex_Equivalence/Deriv_PDeriv.thy (diff) |
The file was modified | thys/Regex_Equivalence/Derivatives_Finite.thy (diff) |