# HG changeset patch # User webertj # Date 1110219913 -3600 # Node ID 256c5e6b314f59f1e7e6f2322b20825591e65ee9 # Parent 7219facb3fd05a14f03efd758161f0a7678a294e HTML 4.01 Transitional conformity diff -r 7219facb3fd0 -r 256c5e6b314f doc-src/Abstract/abstract.html --- a/doc-src/Abstract/abstract.html Mon Mar 07 19:17:07 2005 +0100 +++ b/doc-src/Abstract/abstract.html Mon Mar 07 19:25:13 2005 +0100 @@ -1,5 +1,7 @@ + + @@ -17,4 +19,4 @@

Isabelle is a joint project between Lawrence C. Paulson (University of Cambridge, UK) and Tobias Nipkow (Technical University of Munich, Germany).

- \ No newline at end of file +