AtomFree(d) == 
x
dom(d). A=d(x) 
AtomFree(Type;A)
Definitions :
fpf-all: xdom(f). v=f(x) P[x; v],
universe: Type
FDL editor aliases :
atom-free-decl
AtomFree(d) == \mforall{}x\mmember{}dom(d). A=d(x) {}\mRightarrow{} AtomFree(Type;A)
Date html generated:
2010_08_27-AM-12_00_43
Last ObjectModification:
2008_02_27-PM-09_46_31
Home
Index