removal of amssymbols.sty and lcp.sty; addition of iman.sty
authorlcp
Thu Dec 02 12:49:03 1993 +0100 (1993-12-02)
changeset 1819c2db771f224
parent 180 8962c2b0dc2b
child 182 e30b55c07235
removal of amssymbols.sty and lcp.sty; addition of iman.sty
doc-src/ind-defs.tex
     1.1 --- a/doc-src/ind-defs.tex	Wed Dec 01 17:40:27 1993 +0100
     1.2 +++ b/doc-src/ind-defs.tex	Thu Dec 02 12:49:03 1993 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -\documentstyle[12pt,a4,proof,lcp,alltt,amssymbols]{article}
     1.5 +\documentstyle[12pt,a4,proof,iman,alltt]{article}
     1.6  \hyphenation{data-type}
     1.7  %CADE version should use 11pt and the Springer style
     1.8  \newif\ifCADE
     1.9 @@ -21,15 +21,12 @@
    1.10  
    1.11  
    1.12  \newcommand\sbs{\subseteq}
    1.13 -\newcommand\List[1]{\lbrakk#1\rbrakk}
    1.14  \let\To=\Rightarrow
    1.15 -\newcommand\Var[1]{{?\!#1}}
    1.16  
    1.17  
    1.18  %%%\newcommand\Pow{{\tt Pow}}
    1.19  \let\pow=\wp
    1.20  \newcommand\RepFun{{\tt RepFun}}
    1.21 -\newcommand\pair[1]{\langle#1\rangle}
    1.22  \newcommand\cons{{\tt cons}}
    1.23  \def\succ{{\tt succ}}
    1.24  \newcommand\split{{\tt split}}