# HG changeset patch
# User kleing
# Date 1144502661 -7200
# Node ID f47412f922abbdde862448e0649f22dff832fe0b
# Parent  5d523a1b6ddc2cbc483827f5c879cded191c19b3
converted Müller to Mueller to make smlnj 110.58 work

diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/ABP/Check.ML
--- 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.
 *)
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/ABP/Correctness.ML
--- a/src/HOLCF/IOA/ABP/Correctness.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/ABP/Correctness.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/ABP/Correctness.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/ABP/Lemmas.ML
--- a/src/HOLCF/IOA/ABP/Lemmas.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/ABP/Lemmas.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/ABP/Lemmas.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 (* Logic *)
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/ABP/ROOT.ML
--- a/src/HOLCF/IOA/ABP/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/ABP/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/IOA/ABP/ROOT.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 
 This is the ROOT file for the Alternating Bit Protocol performed in
 I/O-Automata.  *)
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/Modelcheck/ROOT.ML
--- a/src/HOLCF/IOA/Modelcheck/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/Modelcheck/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/Modelcheck/ROOT.ML
     ID:         $Id$
-    Author:     Olaf Müller and Tobias Hamberger, TU Muenchen
+    Author:     Olaf Mueller and Tobias Hamberger, TU Muenchen
 
 Modelchecker setup for I/O automata.
 *)
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/NTP/Abschannel.ML
--- 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.
 *)
diff -r 5d523a1b6ddc -r f47412f922ab 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;
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/ROOT.ML
--- a/src/HOLCF/IOA/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/IOA/ROOT.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 
 This is the ROOT file for the formalization of a semantic model of
 I/O-Automata.  See the README.html file for details.
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/Storage/Correctness.ML
--- a/src/HOLCF/IOA/Storage/Correctness.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/Storage/Correctness.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/IOA/example/Correctness.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/Storage/ROOT.ML
--- a/src/HOLCF/IOA/Storage/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/Storage/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/IOA/Storage/ROOT.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 
 Memory storage case study.
 *)
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/ex/ROOT.ML
--- a/src/HOLCF/IOA/ex/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/ex/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/IOA/ex/ROOT.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 
 This is the ROOT file for the formalization of a semantic model of
 I/O-Automata.  See the README.html file for details.
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/ex/TrivEx.ML
--- a/src/HOLCF/IOA/ex/TrivEx.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/ex/TrivEx.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/TrivEx.thy
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 
 Trivial Abstraction Example.
 *)
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/ex/TrivEx2.ML
--- a/src/HOLCF/IOA/ex/TrivEx2.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/ex/TrivEx2.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/TrivEx.thy
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 
 Trivial Abstraction Example.
 *)
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/Abstraction.ML
--- a/src/HOLCF/IOA/meta_theory/Abstraction.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/Abstraction.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/Abstraction.thy
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)   
 
 section "cex_abs";
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/Asig.ML
--- a/src/HOLCF/IOA/meta_theory/Asig.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/Asig.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/IOA/meta_theory/Asig.ML
     ID:         $Id$
-    Author:     Olaf Müller, Tobias Nipkow & Konrad Slind
+    Author:     Olaf Mueller, Tobias Nipkow & Konrad Slind
 *)
 
 bind_thms ("asig_projections", [asig_inputs_def, asig_outputs_def, asig_internals_def]);
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/CompoExecs.ML
--- a/src/HOLCF/IOA/meta_theory/CompoExecs.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/CompoExecs.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/CompoExecs.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 Delsimps (ex_simps @ all_simps);
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/CompoScheds.ML
--- a/src/HOLCF/IOA/meta_theory/CompoScheds.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/CompoScheds.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/CompoScheds.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 Addsimps [surjective_pairing RS sym];
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/CompoTraces.ML
--- a/src/HOLCF/IOA/meta_theory/CompoTraces.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/CompoTraces.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/CompoTraces.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 change_simpset (fn ss => ss setmksym (K NONE));
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/Compositionality.ML
--- a/src/HOLCF/IOA/meta_theory/Compositionality.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/Compositionality.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/Compositionality.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 Goal "[|eA --> A ; eB & ~eA --> ~A|] ==> (eA | eB) --> A=eA";
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/Deadlock.ML
--- a/src/HOLCF/IOA/meta_theory/Deadlock.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/Deadlock.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/Deadlock.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 (********************************************************************************
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/LiveIOA.ML
--- a/src/HOLCF/IOA/meta_theory/LiveIOA.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/LiveIOA.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/LiveIOA.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)   
 
 Delsimps [split_paired_Ex];
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/RefCorrectness.ML
--- a/src/HOLCF/IOA/meta_theory/RefCorrectness.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/RefCorrectness.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/RefCorrectness.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/RefMappings.ML
--- a/src/HOLCF/IOA/meta_theory/RefMappings.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/RefMappings.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/RefMappings.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/ShortExecutions.ML
--- a/src/HOLCF/IOA/meta_theory/ShortExecutions.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/ShortExecutions.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/ShortExecutions.thy
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/SimCorrectness.ML
--- a/src/HOLCF/IOA/meta_theory/SimCorrectness.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/SimCorrectness.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/SimCorrectness.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 (* -------------------------------------------------------------------------------- *)
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/Simulations.ML
--- a/src/HOLCF/IOA/meta_theory/Simulations.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/Simulations.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/Simulations.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)
 
 Goal "(A~={}) = (? x. x:A)";
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/TL.ML
--- a/src/HOLCF/IOA/meta_theory/TL.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/TL.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/TL.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)   
 
 
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/TLS.ML
--- a/src/HOLCF/IOA/meta_theory/TLS.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/TLS.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/TLS.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 *)    
 
 (* global changes to simpset() and claset(), repeated from Traces.ML *)
diff -r 5d523a1b6ddc -r f47412f922ab src/HOLCF/IOA/meta_theory/Traces.ML
--- a/src/HOLCF/IOA/meta_theory/Traces.ML	Fri Apr 07 17:27:53 2006 +0200
+++ b/src/HOLCF/IOA/meta_theory/Traces.ML	Sat Apr 08 15:24:21 2006 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/Traces.ML
     ID:         $Id$
-    Author:     Olaf Müller
+    Author:     Olaf Mueller
 
 Theorems about Executions and Traces of I/O automata in HOLCF.
 *)