src/HOLCF/IOA/NTP/ROOT.ML

--- a/src/HOLCF/IOA/NTP/ROOT.ML	Tue Dec 16 15:17:26 1997 +0100
+++ b/src/HOLCF/IOA/NTP/ROOT.ML	Tue Dec 16 17:58:03 1997 +0100
@@ -5,10 +5,6 @@
 
 This is the ROOT file for a network transmission protocol (NTP subdirectory),
 performed in the I/O automata formalization by Olaf Mueller. 
-
-For details see the README.html file.
-
-Should be executed in the subdirectory HOLCF/IOA/examples/NTP.
 *)
 
 goals_limit := 1;