# HG changeset patch
# User wenzelm
# Date 933699431 -7200
# Node ID 741dc2a434b71ed5529cc279a1eebf0f858173b4
# Parent  0b2e3ef1d8f4dcc778ba9f0174c830157a7519a1
fixed {};

diff -r 0b2e3ef1d8f4 -r 741dc2a434b7 doc-src/Ref/theories.tex
--- 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