src/HOL/TLA/README.html
changeset 17747 1ce1f62768bd
parent 15582 7219facb3fd0
child 51404 90a598019aeb
equal deleted inserted replaced
17746:af59c748371d 17747:1ce1f62768bd
    60 </UL>
    60 </UL>
    61 
    61 
    62 <HR>
    62 <HR>
    63 
    63 
    64 <ADDRESS>
    64 <ADDRESS>
    65 <A HREF="merz@informatik.uni-muenchen.de">Stephan Merz</A>
    65 <A HREF="mailto:merz@informatik.uni-muenchen.de">Stephan Merz</A>
    66 </ADDRESS>
    66 </ADDRESS>
    67 <!-- hhmts start -->
    67 <!-- hhmts start -->
    68 Last modified: Sat Mar  5 00:54:49 CET 2005
    68 Last modified: Sat Mar  5 00:54:49 CET 2005
    69 <!-- hhmts end -->
    69 <!-- hhmts end -->
    70 </BODY></HTML>
    70 </BODY></HTML>