src/HOL/TLA/README.html
changeset 17747 1ce1f62768bd
parent 15582 7219facb3fd0
child 51404 90a598019aeb
     1.1 --- a/src/HOL/TLA/README.html	Tue Oct 04 09:59:01 2005 +0200
     1.2 +++ b/src/HOL/TLA/README.html	Tue Oct 04 10:52:43 2005 +0200
     1.3 @@ -62,7 +62,7 @@
     1.4  <HR>
     1.5  
     1.6  <ADDRESS>
     1.7 -<A HREF="merz@informatik.uni-muenchen.de">Stephan Merz</A>
     1.8 +<A HREF="mailto:merz@informatik.uni-muenchen.de">Stephan Merz</A>
     1.9  </ADDRESS>
    1.10  <!-- hhmts start -->
    1.11  Last modified: Sat Mar  5 00:54:49 CET 2005