![[Jenkins]](/jenkins/static/858a1f95/images/svgs/logo.svg){kind=logo}
Summary
- adapted to new sorted_list_of_set lemmas
| The file was modified | thys/Affine_Arithmetic/Affine_Approximation.thy (diff) |
| The file was modified | thys/Formal_SSA/Construct_SSA_notriv_code.thy (diff) |
| The file was modified | thys/Formula_Derivatives/Abstract_Formula.thy (diff) |
| The file was modified | thys/MSO_Regex_Equivalence/Init_Normalization.thy (diff) |
| The file was modified | thys/MSO_Regex_Equivalence/Pi_Regular_Exp.thy (diff) |
| The file was modified | thys/Polynomials/Utils.thy (diff) |
| 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/Timed_Automata/Misc.thy (diff) |