Nuprl Definition : vr_test_abs1
vr_test_abs1(x;x)
==
x
FDL editor aliases
:
vr_test_abs1
vr\_test\_abs1(x;x) == x
Date html generated: 2012_02_20-PM-03_35_41
Last ObjectModification: 2012_02_02-PM-03_28_48
Home
Index