---

pinew-body(x) ==
  F(x) where 
  F(0) =   
  F(pre.body) =  where  
                 rec1 = F(body)   
  F(left + right) =  where  
                     rec1 = F(left)  
                     rec2 = F(right)  
  F(left | right) =  where  
                     rec1 = F(left)  
                     rec2 = F(right)  
  F(!body) =  where  
              rec1 = F(body)  
  F(new name.body) = body where  
                      rec1 = F(body)

---

Definitions :  pi_term_ind: pi_term_ind,  it:
FDL editor aliases :  pinew-body

---

pinew-body(x)  ==
    F(x)  where 
    F(0)  =  \mcdot{}   
    F(pre.body)  =  \mcdot{}  where   
                                  rec1  =  F(body)     
    F(left  +  right)  =  \mcdot{}  where   
                                          rec1  =  F(left)   
                                          rec2  =  F(right)   
    F(left  |  right)  =  \mcdot{}  where   
                                          rec1  =  F(left)   
                                          rec2  =  F(right)   
    F(!body)  =  \mcdot{}  where   
                            rec1  =  F(body)   
    F(new  name.body)  =  body  where   
                                            rec1  =  F(body)


Date html generated: 2010_08_27-PM-08_38_22
Last ObjectModification: 2010_02_11-PM-06_56_34

Home Index