1.1 --- a/doc-src/Nitpick/nitpick.tex Tue Oct 27 16:52:06 2009 +0100
1.2 +++ b/doc-src/Nitpick/nitpick.tex Tue Oct 27 17:53:19 2009 +0100
1.3 @@ -2398,11 +2398,11 @@
1.4 & \textit{subgoal}\end{aligned}$
1.5 \postw
1.6
1.7 +\let\antiq=\textrm
1.8 +
1.9 \subsection{Registration of Coinductive Datatypes}
1.10 \label{registration-of-coinductive-datatypes}
1.11
1.12 -\let\antiq=\textrm
1.13 -
1.14 If you have defined a custom coinductive datatype, you can tell Nitpick about
1.15 it, so that it can use an efficient Kodkod axiomatization similar to the one it
1.16 uses for lazy lists. The interface for registering and unregistering coinductive