{ 
[t:
]. [voters,clients:Id List].
(sc-compiled{i:l}(t;voters;clients) 
CompilationResult) }
{ Proof }
Definitions occuring in Statement :
sc-compiled: sc-compiled{i:l}(t;voters;clients),
compilation-result: CompilationResult,
Id: Id,
nat: ,
uall: [x:A]. B[x],
member: t T,
list: type List
Definitions :
uall: [x:A]. B[x],
member: t T,
sc-compiled: sc-compiled{i:l}(t;voters;clients)
Lemmas :
compile-esharp-program_wf,
sc-program_wf,
Id_wf,
nat_wf
\mforall{}[t:\mBbbN{}]. \mforall{}[voters,clients:Id List]. (sc-compiled\{i:l\}(t;voters;clients) \mmember{} CompilationResult)
Date html generated:
2011_08_17-PM-06_35_06
Last ObjectModification:
2011_06_18-AM-11_58_08
Home
Index