src/HOL/TLA/README.html
changeset 15283 f21466450330
parent 7881 1b1db39a110b
child 15582 7219facb3fd0
     1.1 --- a/src/HOL/TLA/README.html	Sat Nov 13 17:30:03 2004 +0100
     1.2 +++ b/src/HOL/TLA/README.html	Sun Nov 14 01:40:27 2004 +0100
     1.3 @@ -1,3 +1,5 @@
     1.4 +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
     1.5 +
     1.6  <HTML><HEAD><TITLE>HOL/TLA</TITLE></HEAD><BODY>
     1.7  
     1.8  <H2>TLA: Lamport's Temporal Logic of Actions</H2>
     1.9 @@ -56,4 +58,4 @@
    1.10  <!-- hhmts start -->
    1.11  Last modified: Mon Jan 25 14:06:43 MET 1999
    1.12  <!-- hhmts end -->
    1.13 -</BODY></HTML>
    1.14 \ No newline at end of file
    1.15 +</BODY></HTML>