{ ten-locs{$a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k}() 
(
Id) List }
{ Proof }
Definitions occuring in Statement :
ten-locs: ten-locs{$l_server,$l_choose,$l_comm,$l_pi,$a1,$a2,$a3,$a4,$a5,$a6,$a7}(),
Id: Id,
member: t T,
product: x:A B[x],
list: type List,
int:
Definitions :
member: t T,
Id: Id,
ten-locs: ten-locs{$l_server,$l_choose,$l_comm,$l_pi,$a1,$a2,$a3,$a4,$a5,$a6,$a7}(),
mkid: "$x"
Lemmas :
Id_wf
ten-locs\{\$a,\$b,\$c,\$d,\$e,\$f,\$g,\$h,\$i,\$j,\$k\}() \mmember{} (\mBbbZ{} \mtimes{} Id) List
Date html generated:
2011_08_17-PM-06_46_29
Last ObjectModification:
2011_06_18-PM-12_17_26
Home
Index