---

StandardDS ==
  <a.if (a = 2) then IdLnk else Id fi 
  , a.if (a = 2) then IdLnkDeq else IdDeq fi 
  >

---

Definitions :  pair: <a, b>,  IdLnk: IdLnk,  Id: Id,  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  natural_number: $n,  idlnk-deq: IdLnkDeq,  id-deq: IdDeq
FDL editor aliases :  sds

---

StandardDS  ==    <\mlambda{}a.if  (a  =\msubz{}  2)  then  IdLnk  else  Id  fi  ,  \mlambda{}a.if  (a  =\msubz{}  2)  then  IdLnkDeq  else  IdDeq  fi  >


Date html generated: 2010_08_26-PM-11_41_34
Last ObjectModification: 2008_02_27-PM-09_34_18

Home Index