src/HOLCF/IOA/NTP/ROOT.ML

--- a/src/HOLCF/IOA/NTP/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/NTP/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -4,7 +4,7 @@
 
 This is the ROOT file for a network transmission protocol (NTP
 subdirectory), performed in the I/O automata formalization by Olaf
-Müller.
+Mueller.
 *)
 
 goals_limit := 1;