--- a/src/HOLCF/IOA/NTP/Abschannel.ML Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/NTP/Abschannel.ML Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
(* Title: HOL/IOA/NTP/Abschannel.ML
ID: $Id$
- Author: Olaf Müller
+ Author: Olaf Mueller
Derived rules.
*)