secret-table(T) == K:
(K 
(Atom1 + Atom1 data(T)))
Definitions :
function: x:A B[x],
int_seg: {i..j
},
natural_number: $n,
product: x:A B[x],
union: left + right,
nat: ,
atom: Atom$n
FDL editor aliases :
secret-table
secret-table(T) == K:\mBbbN{} \mtimes{} \mBbbN{} \mtimes{} (\mBbbN{}K {}\mrightarrow{} (Atom1 \mtimes{} \mBbbN{} + Atom1 \mtimes{} data(T)))
Date html generated:
2010_08_27-AM-09_33_52
Last ObjectModification:
2009_12_16-AM-01_13_32
Home
Index