--- a/doc-src/TutorialI/Types/document/Typedef.tex Tue May 01 17:16:32 2001 +0200
+++ b/doc-src/TutorialI/Types/document/Typedef.tex Tue May 01 22:26:55 2001 +0200
@@ -32,10 +32,9 @@
This does not define \isa{my{\isacharunderscore}new{\isacharunderscore}type} at all but merely introduces its
name. Thus we know nothing about this type, except that it is
non-empty. Such declarations without definitions are
-useful only if that type can be viewed as a parameter of a theory and we do
-not intend to impose any restrictions on it. A typical example is given in
-\S\ref{sec:VMC}, where we define transition relations over an arbitrary type
-of states without any internal structure.
+useful if that type can be viewed as a parameter of the theory.
+A typical example is given in \S\ref{sec:VMC}, where we define a transition
+relation over an arbitrary type of states.
In principle we can always get rid of such type declarations by making those
types parameters of every other type, thus keeping the theory generic. In