From f8b4ea71c568c76b1ca7d0441cbdd2c6e7665d88 Mon Sep 17 00:00:00 2001
From: Wolfgang Jeltsch <wolfgang@well-typed.com>
Date: Sun, 24 Sep 2023 01:38:22 +0300
Subject: [PATCH] Adapt heading to single-state-machine specification

---
 src/Ouroboros-Mini_Protocols-Ping_Pong.thy        | 2 +-
 src/Ouroboros-Mini_Protocols-Request_Response.thy | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Ouroboros-Mini_Protocols-Ping_Pong.thy b/src/Ouroboros-Mini_Protocols-Ping_Pong.thy
index 01cc38d..e396d52 100644
--- a/src/Ouroboros-Mini_Protocols-Ping_Pong.thy
+++ b/src/Ouroboros-Mini_Protocols-Ping_Pong.thy
@@ -19,7 +19,7 @@ datatype party =
   Client |
   Server
 
-subsection \<open>State Machines\<close>
+subsection \<open>State Machine\<close>
 
 datatype state =
   Idle |
diff --git a/src/Ouroboros-Mini_Protocols-Request_Response.thy b/src/Ouroboros-Mini_Protocols-Request_Response.thy
index 3e21e6b..6a442c8 100644
--- a/src/Ouroboros-Mini_Protocols-Request_Response.thy
+++ b/src/Ouroboros-Mini_Protocols-Request_Response.thy
@@ -23,7 +23,7 @@ datatype party =
   Client |
   Server
 
-subsection \<open>State Machines\<close>
+subsection \<open>State Machine\<close>
 
 datatype state =
   Idle |