# HG changeset patch
# User lcp
# Date 754832943 -3600
# Node ID 9c2db771f2247833c325a9000b93d4a39bfd8ded
# Parent  8962c2b0dc2b6b7e3f1027a8fe1b44e24a781f91
removal of amssymbols.sty and lcp.sty; addition of iman.sty

diff -r 8962c2b0dc2b -r 9c2db771f224 doc-src/ind-defs.tex
--- 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}}