X(e) has a == (
e 
X) 
(
X(e):T||a)
Definitions :
and: P Q,
assert: b,
in-eclass: e X,
not: A,
free-from-atom: x:T||a,
eclass-val: X(e)
FDL editor aliases :
class-value-has
X(e) has a == (\muparrow{}e \mmember{}\msubb{} X) \mwedge{} (\mneg{}X(e):T||a)
Date html generated:
2010_08_28-AM-01_47_42
Last ObjectModification:
2010_05_13-PM-01_30_23
Home
Index