![[Jenkins]](/jenkins/static/0ab21b84/images/svgs/logo.svg){kind=logo}
Summary
- adapted to devel
| The file was modified | thys/SIFUM_Type_Systems/Compositionality.thy (diff) |
| The file was modified | thys/Transition_Systems_and_Automata/Basic/Implement.thy (diff) |
| The file was modified | thys/Transition_Systems_and_Automata/Basic/Maps.thy (diff) |
| The file was modified | thys/UPF_Firewall/FWNormalisation/NormalisationIPPProofs.thy (diff) |
| The file was modified | thys/UPF_Firewall/FWNormalisation/NormalisationIntegerPortProof.thy (diff) |