---

InitSys ==  {S:Sys| std-initial(S)} 

---

Definitions :  set: {x:A| B[x]} ,  Sys: Sys,  std-initial: std-initial(S)
FDL editor aliases :  InitSys

---

InitSys  ==    \{S:Sys|  std-initial(S)\} 


Date html generated: 2010_08_27-PM-08_04_15
Last ObjectModification: 2010_06_09-PM-06_46_04

Home Index