From 11928273547751d2ef3e31fe625578995c6bfc0d Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 30 Dec 2016 15:14:47 +0000
Subject: [PATCH] Fixed section structure.

---
 FWNormalisation/FWNormalisation.thy | 2 +-
 PacketFilter/PacketFilter.thy       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/FWNormalisation/FWNormalisation.thy b/FWNormalisation/FWNormalisation.thy
index 1f38f9b..59575fd 100644
--- a/FWNormalisation/FWNormalisation.thy
+++ b/FWNormalisation/FWNormalisation.thy
@@ -34,7 +34,7 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  *****************************************************************************)
 
-chapter {* Firewall Policy Normalisation *}
+section {* Firewall Policy Normalisation *}
 theory  
   FWNormalisation
   imports 
diff --git a/PacketFilter/PacketFilter.thy b/PacketFilter/PacketFilter.thy
index 4a7af22..42cbf0c 100644
--- a/PacketFilter/PacketFilter.thy
+++ b/PacketFilter/PacketFilter.thy
@@ -34,7 +34,7 @@
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  *****************************************************************************)
-subsection {* Network Policies: Packet Filter *}
+section {* Network Policies: Packet Filter *}
 theory 
   PacketFilter
   imports