src/HOL/ROOT

     FOCUS
     Buffer_adm
 
 session IOA (timing) in "HOLCF/IOA" = HOLCF +
   description "
-    Author:     Olaf Mueller
+    Author:     Olaf Müller
     Copyright   1997 TU München
 
     A formalization of I/O automata in HOLCF.
 
     The distribution contains simulation relations, temporal logic, and an

   "
   theories Abstraction
 
 session "IOA-ABP" in "HOLCF/IOA/ABP" = IOA +
   description "
-    Author:     Olaf Mueller
+    Author:     Olaf Müller
 
     The Alternating Bit Protocol performed in I/O-Automata:
     combining IOA with Model Checking.
 
     Theory Correctness contains the proof of the abstraction from unbounded

 session "IOA-NTP" in "HOLCF/IOA/NTP" = IOA +
   description "
     Author:     Tobias Nipkow & Konrad Slind
 
     A network transmission protocol, performed in the
-    I/O automata formalization by Olaf Mueller.
+    I/O automata formalization by Olaf Müller.
   "
   theories
     Overview
     Correctness
 
 session "IOA-Storage" in "HOLCF/IOA/Storage" = IOA +
   description "
-    Author:     Olaf Mueller
+    Author:     Olaf Müller
 
     Memory storage case study.
   "
   theories Correctness
 
 session "IOA-ex" in "HOLCF/IOA/ex" = IOA +
   description "
-    Author:     Olaf Mueller
+    Author:     Olaf Müller
   "
   theories
     TrivEx
     TrivEx2