Skip to content
Success

Changes

Summary

  1. clarified imports;
Changeset 8314:925d835a3cda by wenzelm:
clarified imports;
The file was modified thys/Iptables_Semantics/Examples/IPPartEval/IP_Address_Space_Examples_All_Large.thy (diff)
The file was modified thys/Iptables_Semantics/Examples/TUM_Net_Firewall/TUM_Simple_FW.thy (diff)
The file was modified thys/Iptables_Semantics/Examples/TUM_Net_Firewall/TUM_Spoofing_new3.thy (diff)
The file was modified thys/Iptables_Semantics/ROOT (diff)
The file was modified thys/Native_Word/Native_Word_Imperative_HOL.thy (diff)