--- 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.
*)
--- 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
*)
--- 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 *)
--- 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. *)
--- 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.
*)
--- 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.
*)
--- 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;
--- 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.
--- 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
*)
--- 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.
*)
--- 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.
--- 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.
*)
--- 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.
*)
--- 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";
--- 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]);
--- 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);
--- 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];
--- 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));
--- 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";
--- 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
*)
(********************************************************************************
--- 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];
--- 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
*)
--- 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
*)
--- 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
*)
--- 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
*)
(* -------------------------------------------------------------------------------- *)
--- 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)";
--- 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
*)
--- 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 *)
--- 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.
*)