reliable-env(env; r) == 
t:
. 
t':. ((t < t') 
((fst((env t' r))) = 0))
Definitions :
all: x:A. B[x],
exists: x:A. B[x],
nat: ,
and: P Q,
less_than: a < b,
equal: s = t,
int: 
,
pi1: fst(t),
apply: f a,
natural_number: $n
reliable-env(env; r) == \mforall{}t:\mBbbN{}. \mexists{}t':\mBbbN{}. ((t < t') \mwedge{} ((fst((env t' r))) = 0))
Date html generated:
2010_08_27-PM-06_45_07
Last ObjectModification:
2010_06_09-PM-10_15_37
Home
Index