changeset 3279 | 815ef5848324 |
parent 3247 | 067dc2d07489 |
child 7994 | 1e9a13d5375a |
--- a/src/HOL/Modelcheck/README.html Wed May 21 17:11:46 1997 +0200 +++ b/src/HOL/Modelcheck/README.html Wed May 21 17:13:00 1997 +0200 @@ -2,7 +2,7 @@ <H3>Invoking Model Checkers in Isabelle/HOL </H3> -Authors: Olaf Mueller, Jan Philipps, Robert Sandner<BR> +Authors: Olaf Müller, Jan Philipps, Robert Sandner<BR> Copyright 1997 Technische Universität München<P>