Nuprl Definition : tid
tid(T;x)
==
x
FDL editor aliases
:
tid
tid(T;x) == x
Date html generated: 2012_02_20-PM-03_35_51
Last ObjectModification: 2012_02_02-PM-01_55_47
Home
Index