--- a/doc-src/HOL/logics-HOL.tex Fri Jun 30 12:51:30 2000 +0200
+++ b/doc-src/HOL/logics-HOL.tex Fri Jun 30 17:51:56 2000 +0200
@@ -11,7 +11,7 @@
\title{\includegraphics[scale=0.5]{isabelle_hol} \\[4ex]
Isabelle's Logics: HOL%
\thanks{The research has been funded by the EPSRC (grants GR/G53279,
- GR/H40570, GR/K57381, GR/K77051, GR/M75440), by ESPRIT (projects 3245:
+ GR\slash H40570, GR/K57381, GR/K77051, GR/M75440), by ESPRIT (projects 3245:
Logical Frameworks, and 6453: Types) and by the DFG Schwerpunktprogramm
\emph{Deduktion}.}}