converted Müller to Mueller to make smlnj 110.58 work
authorkleing
Sat Apr 08 15:24:21 2006 +0200 (2006-04-08 ago)
changeset 19360f47412f922ab
parent 19359 5d523a1b6ddc
child 19361 aa226c08d14a
converted Müller to Mueller to make smlnj 110.58 work
src/HOLCF/IOA/ABP/Check.ML
src/HOLCF/IOA/ABP/Correctness.ML
src/HOLCF/IOA/ABP/Lemmas.ML
src/HOLCF/IOA/ABP/ROOT.ML
src/HOLCF/IOA/Modelcheck/ROOT.ML
src/HOLCF/IOA/NTP/Abschannel.ML
src/HOLCF/IOA/NTP/ROOT.ML
src/HOLCF/IOA/ROOT.ML
src/HOLCF/IOA/Storage/Correctness.ML
src/HOLCF/IOA/Storage/ROOT.ML
src/HOLCF/IOA/ex/ROOT.ML
src/HOLCF/IOA/ex/TrivEx.ML
src/HOLCF/IOA/ex/TrivEx2.ML
src/HOLCF/IOA/meta_theory/Abstraction.ML
src/HOLCF/IOA/meta_theory/Asig.ML
src/HOLCF/IOA/meta_theory/CompoExecs.ML
src/HOLCF/IOA/meta_theory/CompoScheds.ML
src/HOLCF/IOA/meta_theory/CompoTraces.ML
src/HOLCF/IOA/meta_theory/Compositionality.ML
src/HOLCF/IOA/meta_theory/Deadlock.ML
src/HOLCF/IOA/meta_theory/LiveIOA.ML
src/HOLCF/IOA/meta_theory/RefCorrectness.ML
src/HOLCF/IOA/meta_theory/RefMappings.ML
src/HOLCF/IOA/meta_theory/ShortExecutions.ML
src/HOLCF/IOA/meta_theory/SimCorrectness.ML
src/HOLCF/IOA/meta_theory/Simulations.ML
src/HOLCF/IOA/meta_theory/TL.ML
src/HOLCF/IOA/meta_theory/TLS.ML
src/HOLCF/IOA/meta_theory/Traces.ML
     1.1 --- a/src/HOLCF/IOA/ABP/Check.ML	Fri Apr 07 17:27:53 2006 +0200
     1.2 +++ b/src/HOLCF/IOA/ABP/Check.ML	Sat Apr 08 15:24:21 2006 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  (*  Title:      HOLCF/IOA/ABP/Check.ML
     1.5      ID:         $Id$
     1.6 -    Author:     Olaf Müller
     1.7 +    Author:     Olaf Mueller
     1.8  
     1.9  The Model Checker.
    1.10  *)
     2.1 --- a/src/HOLCF/IOA/ABP/Correctness.ML	Fri Apr 07 17:27:53 2006 +0200
     2.2 +++ b/src/HOLCF/IOA/ABP/Correctness.ML	Sat Apr 08 15:24:21 2006 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  (*  Title:      HOLCF/IOA/ABP/Correctness.ML
     2.5      ID:         $Id$
     2.6 -    Author:     Olaf Müller
     2.7 +    Author:     Olaf Mueller
     2.8  *)
     2.9  
    2.10  
     3.1 --- a/src/HOLCF/IOA/ABP/Lemmas.ML	Fri Apr 07 17:27:53 2006 +0200
     3.2 +++ b/src/HOLCF/IOA/ABP/Lemmas.ML	Sat Apr 08 15:24:21 2006 +0200
     3.3 @@ -1,6 +1,6 @@
     3.4  (*  Title:      HOLCF/IOA/ABP/Lemmas.ML
     3.5      ID:         $Id$
     3.6 -    Author:     Olaf Müller
     3.7 +    Author:     Olaf Mueller
     3.8  *)
     3.9  
    3.10  (* Logic *)
     4.1 --- a/src/HOLCF/IOA/ABP/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
     4.2 +++ b/src/HOLCF/IOA/ABP/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
     4.3 @@ -1,6 +1,6 @@
     4.4  (*  Title:      HOL/IOA/ABP/ROOT.ML
     4.5      ID:         $Id$
     4.6 -    Author:     Olaf Müller
     4.7 +    Author:     Olaf Mueller
     4.8  
     4.9  This is the ROOT file for the Alternating Bit Protocol performed in
    4.10  I/O-Automata.  *)
     5.1 --- a/src/HOLCF/IOA/Modelcheck/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
     5.2 +++ b/src/HOLCF/IOA/Modelcheck/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
     5.3 @@ -1,6 +1,6 @@
     5.4  (*  Title:      HOLCF/IOA/Modelcheck/ROOT.ML
     5.5      ID:         $Id$
     5.6 -    Author:     Olaf Müller and Tobias Hamberger, TU Muenchen
     5.7 +    Author:     Olaf Mueller and Tobias Hamberger, TU Muenchen
     5.8  
     5.9  Modelchecker setup for I/O automata.
    5.10  *)
     6.1 --- a/src/HOLCF/IOA/NTP/Abschannel.ML	Fri Apr 07 17:27:53 2006 +0200
     6.2 +++ b/src/HOLCF/IOA/NTP/Abschannel.ML	Sat Apr 08 15:24:21 2006 +0200
     6.3 @@ -1,6 +1,6 @@
     6.4  (*  Title:      HOL/IOA/NTP/Abschannel.ML
     6.5      ID:         $Id$
     6.6 -    Author:     Olaf Müller
     6.7 +    Author:     Olaf Mueller
     6.8  
     6.9  Derived rules.
    6.10  *)
     7.1 --- a/src/HOLCF/IOA/NTP/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
     7.2 +++ b/src/HOLCF/IOA/NTP/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
     7.3 @@ -4,7 +4,7 @@
     7.4  
     7.5  This is the ROOT file for a network transmission protocol (NTP
     7.6  subdirectory), performed in the I/O automata formalization by Olaf
     7.7 -Müller.
     7.8 +Mueller.
     7.9  *)
    7.10  
    7.11  goals_limit := 1;
     8.1 --- a/src/HOLCF/IOA/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
     8.2 +++ b/src/HOLCF/IOA/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
     8.3 @@ -1,6 +1,6 @@
     8.4  (*  Title:      HOL/IOA/ROOT.ML
     8.5      ID:         $Id$
     8.6 -    Author:     Olaf Müller
     8.7 +    Author:     Olaf Mueller
     8.8  
     8.9  This is the ROOT file for the formalization of a semantic model of
    8.10  I/O-Automata.  See the README.html file for details.
     9.1 --- a/src/HOLCF/IOA/Storage/Correctness.ML	Fri Apr 07 17:27:53 2006 +0200
     9.2 +++ b/src/HOLCF/IOA/Storage/Correctness.ML	Sat Apr 08 15:24:21 2006 +0200
     9.3 @@ -1,6 +1,6 @@
     9.4  (*  Title:      HOL/IOA/example/Correctness.ML
     9.5      ID:         $Id$
     9.6 -    Author:     Olaf Müller
     9.7 +    Author:     Olaf Mueller
     9.8  *)
     9.9  
    9.10  
    10.1 --- a/src/HOLCF/IOA/Storage/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
    10.2 +++ b/src/HOLCF/IOA/Storage/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
    10.3 @@ -1,6 +1,6 @@
    10.4  (*  Title:      HOL/IOA/Storage/ROOT.ML
    10.5      ID:         $Id$
    10.6 -    Author:     Olaf Müller
    10.7 +    Author:     Olaf Mueller
    10.8  
    10.9  Memory storage case study.
   10.10  *)
    11.1 --- a/src/HOLCF/IOA/ex/ROOT.ML	Fri Apr 07 17:27:53 2006 +0200
    11.2 +++ b/src/HOLCF/IOA/ex/ROOT.ML	Sat Apr 08 15:24:21 2006 +0200
    11.3 @@ -1,6 +1,6 @@
    11.4  (*  Title:      HOL/IOA/ex/ROOT.ML
    11.5      ID:         $Id$
    11.6 -    Author:     Olaf Müller
    11.7 +    Author:     Olaf Mueller
    11.8  
    11.9  This is the ROOT file for the formalization of a semantic model of
   11.10  I/O-Automata.  See the README.html file for details.
    12.1 --- a/src/HOLCF/IOA/ex/TrivEx.ML	Fri Apr 07 17:27:53 2006 +0200
    12.2 +++ b/src/HOLCF/IOA/ex/TrivEx.ML	Sat Apr 08 15:24:21 2006 +0200
    12.3 @@ -1,6 +1,6 @@
    12.4  (*  Title:      HOLCF/IOA/TrivEx.thy
    12.5      ID:         $Id$
    12.6 -    Author:     Olaf Müller
    12.7 +    Author:     Olaf Mueller
    12.8  
    12.9  Trivial Abstraction Example.
   12.10  *)
    13.1 --- a/src/HOLCF/IOA/ex/TrivEx2.ML	Fri Apr 07 17:27:53 2006 +0200
    13.2 +++ b/src/HOLCF/IOA/ex/TrivEx2.ML	Sat Apr 08 15:24:21 2006 +0200
    13.3 @@ -1,6 +1,6 @@
    13.4  (*  Title:      HOLCF/IOA/TrivEx.thy
    13.5      ID:         $Id$
    13.6 -    Author:     Olaf Müller
    13.7 +    Author:     Olaf Mueller
    13.8  
    13.9  Trivial Abstraction Example.
   13.10  *)
    14.1 --- a/src/HOLCF/IOA/meta_theory/Abstraction.ML	Fri Apr 07 17:27:53 2006 +0200
    14.2 +++ b/src/HOLCF/IOA/meta_theory/Abstraction.ML	Sat Apr 08 15:24:21 2006 +0200
    14.3 @@ -1,6 +1,6 @@
    14.4  (*  Title:      HOLCF/IOA/meta_theory/Abstraction.thy
    14.5      ID:         $Id$
    14.6 -    Author:     Olaf Müller
    14.7 +    Author:     Olaf Mueller
    14.8  *)   
    14.9  
   14.10  section "cex_abs";
    15.1 --- a/src/HOLCF/IOA/meta_theory/Asig.ML	Fri Apr 07 17:27:53 2006 +0200
    15.2 +++ b/src/HOLCF/IOA/meta_theory/Asig.ML	Sat Apr 08 15:24:21 2006 +0200
    15.3 @@ -1,6 +1,6 @@
    15.4  (*  Title:      HOL/IOA/meta_theory/Asig.ML
    15.5      ID:         $Id$
    15.6 -    Author:     Olaf Müller, Tobias Nipkow & Konrad Slind
    15.7 +    Author:     Olaf Mueller, Tobias Nipkow & Konrad Slind
    15.8  *)
    15.9  
   15.10  bind_thms ("asig_projections", [asig_inputs_def, asig_outputs_def, asig_internals_def]);
    16.1 --- a/src/HOLCF/IOA/meta_theory/CompoExecs.ML	Fri Apr 07 17:27:53 2006 +0200
    16.2 +++ b/src/HOLCF/IOA/meta_theory/CompoExecs.ML	Sat Apr 08 15:24:21 2006 +0200
    16.3 @@ -1,6 +1,6 @@
    16.4  (*  Title:      HOLCF/IOA/meta_theory/CompoExecs.ML
    16.5      ID:         $Id$
    16.6 -    Author:     Olaf Müller
    16.7 +    Author:     Olaf Mueller
    16.8  *)
    16.9  
   16.10  Delsimps (ex_simps @ all_simps);
    17.1 --- a/src/HOLCF/IOA/meta_theory/CompoScheds.ML	Fri Apr 07 17:27:53 2006 +0200
    17.2 +++ b/src/HOLCF/IOA/meta_theory/CompoScheds.ML	Sat Apr 08 15:24:21 2006 +0200
    17.3 @@ -1,6 +1,6 @@
    17.4  (*  Title:      HOLCF/IOA/meta_theory/CompoScheds.ML
    17.5      ID:         $Id$
    17.6 -    Author:     Olaf Müller
    17.7 +    Author:     Olaf Mueller
    17.8  *)
    17.9  
   17.10  Addsimps [surjective_pairing RS sym];
    18.1 --- a/src/HOLCF/IOA/meta_theory/CompoTraces.ML	Fri Apr 07 17:27:53 2006 +0200
    18.2 +++ b/src/HOLCF/IOA/meta_theory/CompoTraces.ML	Sat Apr 08 15:24:21 2006 +0200
    18.3 @@ -1,6 +1,6 @@
    18.4  (*  Title:      HOLCF/IOA/meta_theory/CompoTraces.ML
    18.5      ID:         $Id$
    18.6 -    Author:     Olaf Müller
    18.7 +    Author:     Olaf Mueller
    18.8  *)
    18.9  
   18.10  change_simpset (fn ss => ss setmksym (K NONE));
    19.1 --- a/src/HOLCF/IOA/meta_theory/Compositionality.ML	Fri Apr 07 17:27:53 2006 +0200
    19.2 +++ b/src/HOLCF/IOA/meta_theory/Compositionality.ML	Sat Apr 08 15:24:21 2006 +0200
    19.3 @@ -1,6 +1,6 @@
    19.4  (*  Title:      HOLCF/IOA/meta_theory/Compositionality.ML
    19.5      ID:         $Id$
    19.6 -    Author:     Olaf Müller
    19.7 +    Author:     Olaf Mueller
    19.8  *)
    19.9  
   19.10  Goal "[|eA --> A ; eB & ~eA --> ~A|] ==> (eA | eB) --> A=eA";
    20.1 --- a/src/HOLCF/IOA/meta_theory/Deadlock.ML	Fri Apr 07 17:27:53 2006 +0200
    20.2 +++ b/src/HOLCF/IOA/meta_theory/Deadlock.ML	Sat Apr 08 15:24:21 2006 +0200
    20.3 @@ -1,6 +1,6 @@
    20.4  (*  Title:      HOLCF/IOA/meta_theory/Deadlock.ML
    20.5      ID:         $Id$
    20.6 -    Author:     Olaf Müller
    20.7 +    Author:     Olaf Mueller
    20.8  *)
    20.9  
   20.10  (********************************************************************************
    21.1 --- a/src/HOLCF/IOA/meta_theory/LiveIOA.ML	Fri Apr 07 17:27:53 2006 +0200
    21.2 +++ b/src/HOLCF/IOA/meta_theory/LiveIOA.ML	Sat Apr 08 15:24:21 2006 +0200
    21.3 @@ -1,6 +1,6 @@
    21.4  (*  Title:      HOLCF/IOA/meta_theory/LiveIOA.ML
    21.5      ID:         $Id$
    21.6 -    Author:     Olaf Müller
    21.7 +    Author:     Olaf Mueller
    21.8  *)   
    21.9  
   21.10  Delsimps [split_paired_Ex];
    22.1 --- a/src/HOLCF/IOA/meta_theory/RefCorrectness.ML	Fri Apr 07 17:27:53 2006 +0200
    22.2 +++ b/src/HOLCF/IOA/meta_theory/RefCorrectness.ML	Sat Apr 08 15:24:21 2006 +0200
    22.3 @@ -1,6 +1,6 @@
    22.4  (*  Title:      HOLCF/IOA/meta_theory/RefCorrectness.ML
    22.5      ID:         $Id$
    22.6 -    Author:     Olaf Müller
    22.7 +    Author:     Olaf Mueller
    22.8  *)
    22.9  
   22.10  
    23.1 --- a/src/HOLCF/IOA/meta_theory/RefMappings.ML	Fri Apr 07 17:27:53 2006 +0200
    23.2 +++ b/src/HOLCF/IOA/meta_theory/RefMappings.ML	Sat Apr 08 15:24:21 2006 +0200
    23.3 @@ -1,6 +1,6 @@
    23.4  (*  Title:      HOLCF/IOA/meta_theory/RefMappings.ML
    23.5      ID:         $Id$
    23.6 -    Author:     Olaf Müller
    23.7 +    Author:     Olaf Mueller
    23.8  *)
    23.9  
   23.10  
    24.1 --- a/src/HOLCF/IOA/meta_theory/ShortExecutions.ML	Fri Apr 07 17:27:53 2006 +0200
    24.2 +++ b/src/HOLCF/IOA/meta_theory/ShortExecutions.ML	Sat Apr 08 15:24:21 2006 +0200
    24.3 @@ -1,6 +1,6 @@
    24.4  (*  Title:      HOLCF/IOA/meta_theory/ShortExecutions.thy
    24.5      ID:         $Id$
    24.6 -    Author:     Olaf Müller
    24.7 +    Author:     Olaf Mueller
    24.8  *)
    24.9  
   24.10  
    25.1 --- a/src/HOLCF/IOA/meta_theory/SimCorrectness.ML	Fri Apr 07 17:27:53 2006 +0200
    25.2 +++ b/src/HOLCF/IOA/meta_theory/SimCorrectness.ML	Sat Apr 08 15:24:21 2006 +0200
    25.3 @@ -1,6 +1,6 @@
    25.4  (*  Title:      HOLCF/IOA/meta_theory/SimCorrectness.ML
    25.5      ID:         $Id$
    25.6 -    Author:     Olaf Müller
    25.7 +    Author:     Olaf Mueller
    25.8  *)
    25.9  
   25.10  (* -------------------------------------------------------------------------------- *)
    26.1 --- a/src/HOLCF/IOA/meta_theory/Simulations.ML	Fri Apr 07 17:27:53 2006 +0200
    26.2 +++ b/src/HOLCF/IOA/meta_theory/Simulations.ML	Sat Apr 08 15:24:21 2006 +0200
    26.3 @@ -1,6 +1,6 @@
    26.4  (*  Title:      HOLCF/IOA/meta_theory/Simulations.ML
    26.5      ID:         $Id$
    26.6 -    Author:     Olaf Müller
    26.7 +    Author:     Olaf Mueller
    26.8  *)
    26.9  
   26.10  Goal "(A~={}) = (? x. x:A)";
    27.1 --- a/src/HOLCF/IOA/meta_theory/TL.ML	Fri Apr 07 17:27:53 2006 +0200
    27.2 +++ b/src/HOLCF/IOA/meta_theory/TL.ML	Sat Apr 08 15:24:21 2006 +0200
    27.3 @@ -1,6 +1,6 @@
    27.4  (*  Title:      HOLCF/IOA/meta_theory/TL.ML
    27.5      ID:         $Id$
    27.6 -    Author:     Olaf Müller
    27.7 +    Author:     Olaf Mueller
    27.8  *)   
    27.9  
   27.10  
    28.1 --- a/src/HOLCF/IOA/meta_theory/TLS.ML	Fri Apr 07 17:27:53 2006 +0200
    28.2 +++ b/src/HOLCF/IOA/meta_theory/TLS.ML	Sat Apr 08 15:24:21 2006 +0200
    28.3 @@ -1,6 +1,6 @@
    28.4  (*  Title:      HOLCF/IOA/meta_theory/TLS.ML
    28.5      ID:         $Id$
    28.6 -    Author:     Olaf Müller
    28.7 +    Author:     Olaf Mueller
    28.8  *)    
    28.9  
   28.10  (* global changes to simpset() and claset(), repeated from Traces.ML *)
    29.1 --- a/src/HOLCF/IOA/meta_theory/Traces.ML	Fri Apr 07 17:27:53 2006 +0200
    29.2 +++ b/src/HOLCF/IOA/meta_theory/Traces.ML	Sat Apr 08 15:24:21 2006 +0200
    29.3 @@ -1,6 +1,6 @@
    29.4  (*  Title:      HOLCF/IOA/meta_theory/Traces.ML
    29.5      ID:         $Id$
    29.6 -    Author:     Olaf Müller
    29.7 +    Author:     Olaf Mueller
    29.8  
    29.9  Theorems about Executions and Traces of I/O automata in HOLCF.
   29.10  *)