Nuprl Lemma : decidable__equal_runEvents
[M:Type 
Type]. r:pRunType(P.M[P]). e1,e2:runEvents(r). Dec(e1 = e2)
Proof not projected
Error : references
\mforall{}[M:Type {}\mrightarrow{} Type]. \mforall{}r:pRunType(P.M[P]). \mforall{}e1,e2:runEvents(r). Dec(e1 = e2)
Date html generated:
2012_02_20-PM-07_50_48
Last ObjectModification:
2010_11_29-PM-11_44_56
Home
Index