--- a/src/HOLCF/IOA/NTP/Read_me Sat Sep 03 16:47:25 2005 +0200
+++ b/src/HOLCF/IOA/NTP/Read_me Sat Sep 03 16:48:45 2005 +0200
@@ -1,21 +1,6 @@
Isabelle Verification of a protocol using IOA.
------------------------------------------------------------------------------
-The theory structure looks like this picture:
-
- Correctness
-
- Impl
-
-Sender Receiver Channels Spec
-
- Action IOA Multisets
-
- Packet List
-
- Arith
-
-------------------------------------------------------------------------------
The System.