src/HOL/README.html
changeset 15283 f21466450330
parent 14543 0e266a5dd6e3
child 15582 7219facb3fd0
     1.1 --- a/src/HOL/README.html	Sat Nov 13 17:30:03 2004 +0100
     1.2 +++ b/src/HOL/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>
     1.7  
     1.8  <!-- $Id$ -->