Skip to content
Success

Changes

Summary

  1. adapted to new sorted_list_of_set lemmas
Changeset 9185:ab3a34a907aa by nipkow:
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)