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) |