--- a/doc-src/ind-defs.tex Wed Dec 01 17:40:27 1993 +0100
+++ b/doc-src/ind-defs.tex Thu Dec 02 12:49:03 1993 +0100
@@ -1,4 +1,4 @@
-\documentstyle[12pt,a4,proof,lcp,alltt,amssymbols]{article}
+\documentstyle[12pt,a4,proof,iman,alltt]{article}
\hyphenation{data-type}
%CADE version should use 11pt and the Springer style
\newif\ifCADE
@@ -21,15 +21,12 @@
\newcommand\sbs{\subseteq}
-\newcommand\List[1]{\lbrakk#1\rbrakk}
\let\To=\Rightarrow
-\newcommand\Var[1]{{?\!#1}}
%%%\newcommand\Pow{{\tt Pow}}
\let\pow=\wp
\newcommand\RepFun{{\tt RepFun}}
-\newcommand\pair[1]{\langle#1\rangle}
\newcommand\cons{{\tt cons}}
\def\succ{{\tt succ}}
\newcommand\split{{\tt split}}