afp-mirror
/
UPF_Firewall
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Reformatting.

This commit is contained in:
Achim D. Brucker 2016-12-28 20:42:55 +00:00
parent ef12bd7397
commit 90fd8493c7
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
UPF-Firewall.thy
View File

@ -38,11 +38,13 @@
chapter {* UPF Firewall *} chapter {* UPF Firewall *}
theory theory
"UPF-Firewall" "UPF-Firewall"
imports imports
"PacketFilter/PacketFilter" "PacketFilter/PacketFilter"
"NAT/NAT" "NAT/NAT"
"FWNormalisation/FWNormalisation" "FWNormalisation/FWNormalisation"
"StatefulFW/StatefulFW" "StatefulFW/StatefulFW"
begin begin
text{* This is the main entry point for specifications of firewall policies. *} text{*
This is the main entry point for specifications of firewall policies.
*}
end end