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 +