---

pizero?(x) ==
  F(x) where 
  F(0) = tt  
  F(pre.body) = ff where  
                 rec1 = F(body)   
  F(left + right) = ff where  
                     rec1 = F(left)  
                     rec2 = F(right)  
  F(left | right) = ff where  
                     rec1 = F(left)  
                     rec2 = F(right)  
  F(!body) = ff where  
              rec1 = F(body)  
  F(new name.body) = ff where  
                      rec1 = F(body)

---

Definitions :  pi_term_ind: pi_term_ind,  btrue: tt,  bfalse: ff
FDL editor aliases :  pizero?

---

pizero?(x)  ==
    F(x)  where 
    F(0)  =  tt   
    F(pre.body)  =  ff  where   
                                  rec1  =  F(body)     
    F(left  +  right)  =  ff  where   
                                          rec1  =  F(left)   
                                          rec2  =  F(right)   
    F(left  |  right)  =  ff  where   
                                          rec1  =  F(left)   
                                          rec2  =  F(right)   
    F(!body)  =  ff  where   
                            rec1  =  F(body)   
    F(new  name.body)  =  ff  where   
                                            rec1  =  F(body)


Date html generated: 2010_08_27-PM-08_37_29
Last ObjectModification: 2010_02_11-PM-06_52_05

Home Index