Changes

Summary

Canonicalised theory names
merged
Network_Security_Policy_Verification: new material by C. Diekmann

Changeset 7242:9e3c20be5a59 by manuel eberl _eberlm@in.tum.de_: Canonicalised theory names
The file was added	`thys/Fermat3_4/Quad_Form.thy`
The file was modified	`thys/Fermat3_4/Fermat3.thy` (diff)
The file was removed	`thys/Fermat3_4/QuadForm.thy`
Changeset 7241:d42c92ef2d81 by lars hupel _lars.hupel@mytum.de_: merged
Changeset 7240:964f6359212b by lars hupel _lars.hupel@mytum.de_: Network_Security_Policy_Verification: new material by C. Diekmann
The file was added	`thys/Network_Security_Policy_Verification/Examples/Distributed_WebApp.SDN_deployed.txt`
The file was added	`thys/Network_Security_Policy_Verification/Examples/Imaginary_Factory_Network.thy`
The file was added	`thys/Network_Security_Policy_Verification/Examples/Tainting/CryptoDB.thy`
The file was added	`thys/Network_Security_Policy_Verification/Examples/Tainting/IDEM.thy`
The file was added	`thys/Network_Security_Policy_Verification/Examples/Tainting/MeasrDroid.thy`
The file was added	`thys/Network_Security_Policy_Verification/SINVAR_Examples.thy`
The file was added	`thys/Network_Security_Policy_Verification/Security_Invariants/Analysis_Tainting.thy`
The file was added	`thys/Network_Security_Policy_Verification/Security_Invariants/METASINVAR_SystemBoundary.thy`
The file was added	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Subnets2.thy`
The file was added	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Tainting.thy`
The file was added	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_TaintingTrusted.thy`
The file was added	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_TaintingTrusted_impl.thy`
The file was added	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Tainting_impl.thy`
The file was modified	`thys/Network_Security_Policy_Verification/Example_BLP.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Examples/Distributed_WebApp.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Examples/Example.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Examples/Example_Forte14.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Examples/Example_NetModel.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Examples/I8_SSH_Landscape.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Examples/Impl_List_Playground.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Examples/Impl_List_Playground_ChairNetwork.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Examples/Impl_List_Playground_ChairNetwork_statefulpolicy_example.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Examples/Impl_List_Playground_statefulpolicycompliance.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Lib/Efficient_Distinct.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Lib/FiniteGraph.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Lib/FiniteListGraph_Impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Lib/ML_GraphViz.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Lib/ML_GraphViz_Disable.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Network_Security_Policy_Verification.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/ROOT` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_ACLcommunicateWith.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_ACLcommunicateWith_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_ACLnotCommunicateWith.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_ACLnotCommunicateWith_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_BLPbasic.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_BLPbasic_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_BLPstrict.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_BLPtrusted.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_BLPtrusted_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_CommunicationPartners.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_CommunicationPartners_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Dependability.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Dependability_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Dependability_norefl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Dependability_norefl_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_DomainHierarchyNG.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_DomainHierarchyNG_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_NoRefl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_NoRefl_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_NonInterference.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_NonInterference_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_SecGwExt.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_SecGwExt_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Sink.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Sink_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Subnets.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_SubnetsInGW.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_SubnetsInGW_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_Subnets_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Composition_Theory.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Composition_Theory_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Helper.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Interface.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Interface_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Library.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Stateful_Policy.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Stateful_Policy_Algorithm.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_Stateful_Policy_impl.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_generateCode.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/TopoS_withOffendingFlows.thy` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/document/root.bib` (diff)
The file was modified	`thys/Network_Security_Policy_Verification/document/root.tex` (diff)
The file was removed	`thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_SecGwExt_simplified.thy`