(X:T) ==f=> (hdr:{typ | P}) @ g == <X, T, hdr, typ, P, f, g>
Definitions :
pair: <a, b>
FDL editor aliases :
mk-prop-rule
(X:T) ==f=> (hdr:\{typ | P\}) @ g == <X, T, hdr, typ, P, f, g>
Date html generated:
2010_08_27-PM-08_24_26
Last ObjectModification:
2010_06_24-AM-01_04_03
Home
Index