--- a/doc-src/Ref/theories.tex Tue Aug 03 18:56:51 1999 +0200
+++ b/doc-src/Ref/theories.tex Tue Aug 03 18:57:11 1999 +0200
@@ -64,8 +64,8 @@
union of the default sorts of the parent theories (i.e.\ their logical
intersection).
-\item[$sort$] is a finite set of classes. A single class $id$
- abbreviates the sort $\ttlbrace id\ttrbrace$.
+\item[$sort$] is a finite set of classes. A single class $id$ abbreviates the
+ sort $\{id\}$.
\item[$types$]
is a series of type declarations. Each declares a new type constructor