--- a/src/HOLCF/IOA/NTP/ROOT.ML Thu Nov 15 23:25:01 2001 +0100
+++ b/src/HOLCF/IOA/NTP/ROOT.ML Thu Nov 15 23:25:46 2001 +0100
@@ -1,10 +1,11 @@
(* Title: HOL/IOA/examples/NTP/ROOT.ML
ID: $Id$
Author: Tobias Nipkow & Konrad Slind
- Copyright 1994 TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
-This is the ROOT file for a network transmission protocol (NTP subdirectory),
-performed in the I/O automata formalization by Olaf Mueller.
+This is the ROOT file for a network transmission protocol (NTP
+subdirectory), performed in the I/O automata formalization by Olaf
+Müller.
*)
goals_limit := 1;