![[Jenkins]](/jenkins/static/0ab21b84/images/svgs/logo.svg){kind=logo}
Summary
- adapted to new simp lemmas
| The file was modified | thys/Circus/CSP_Processes.thy (diff) |
| The file was modified | thys/FOL-Fitting/FOL_Fitting.thy (diff) |
| The file was modified | thys/GraphMarkingIBP/DSWMark.thy (diff) |
| The file was modified | thys/GraphMarkingIBP/SetMark.thy (diff) |
| The file was modified | thys/HereditarilyFinite/Ordinal.thy (diff) |
| The file was modified | thys/HyperCTL/Noninterference.thy (diff) |
| The file was modified | thys/MSO_Regex_Equivalence/Pi_Regular_Exp.thy (diff) |
| The file was modified | thys/Noninterference_Generic_Unwinding/GenericUnwinding.thy (diff) |
| The file was modified | thys/Regex_Equivalence/Derivatives_Finite.thy (diff) |
| The file was modified | thys/Simple_Firewall/Primitives/Iface.thy (diff) |
| The file was modified | thys/Slicing/JinjaVM/JVMPostdomination.thy (diff) |
| The file was modified | thys/UPF/ElementaryPolicies.thy (diff) |