pircv?(x) ==  G(x) where   G(chan<val>) = ff  G(chan?(var)) = tt



Definitions :  pi_prefix_ind: pi_prefix_ind bfalse: ff btrue: tt
FDL editor aliases :  pircv?

pircv?(x)  ==    G(x)  where      G(chan<val>)  =  ff    G(chan?(var))  =  tt


Date html generated: 2010_08_27-PM-08_36_44
Last ObjectModification: 2010_02_11-PM-06_33_01

Home Index