---

INITIAL ==  inr inr ff  

---

Definitions :  inr: inr x ,  bfalse: ff
FDL editor aliases :  cs-initial

---

INITIAL  ==    inr  inr  ff   


Date html generated: 2010_08_27-AM-12_27_07
Last ObjectModification: 2009_12_23-PM-03_21_16

Home Index