--- a/doc-src/Intro/foundations.tex Mon Feb 01 10:29:11 1999 +0100
+++ b/doc-src/Intro/foundations.tex Wed Feb 03 13:23:24 1999 +0100
@@ -431,7 +431,7 @@
\subsection{Signatures and theories}
\index{signatures|bold}
-A {\bf signature} contains the information necessary for type checking,
+A {\bf signature} contains the information necessary for type-checking,
parsing and pretty printing a term. It specifies type classes and their
relationships, types and their arities, constants and their types, etc. It
also contains grammar rules, specified using mixfix declarations.