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