first(e) == 
isl(es-pred?(es;e))
Definitions :
bnot: b,
isl: isl(x),
es-pred?: es-pred?(es;e)
FDL editor aliases :
es-first
first(e) == \mneg{}\msubb{}isl(es-pred?(es;e))
Date html generated:
2010_08_27-AM-01_07_02
Last ObjectModification:
2009_12_28-PM-03_00_17
Home
Index