afp-mirror
/
UPF_Firewall
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
UPF_Firewall/UPF_Firewall/FWNormalisation
History
Achim D. Brucker 56bee1c2c4 Import of current (Isabelle 2017) release of UPF_Firewall. 2017-12-02 22:30:05 +00:00
..
ElementaryRules.thy Renaming to match offical naming of afp entry. 2017-01-11 10:08:30 +00:00
FWNormalisation.thy Renaming to match offical naming of afp entry. 2017-01-11 10:08:30 +00:00
FWNormalisationCore.thy Renaming to match offical naming of afp entry. 2017-01-11 10:08:30 +00:00
NormalisationGenericProofs.thy Import of current (Isabelle 2017) release of UPF_Firewall. 2017-12-02 22:30:05 +00:00
NormalisationIPPProofs.thy Renaming to match offical naming of afp entry. 2017-01-11 10:08:30 +00:00
NormalisationIntegerPortProof.thy Renaming to match offical naming of afp entry. 2017-01-11 10:08:30 +00:00