{ valueall-type(Message) }
{ Proof }
Definitions occuring in Statement :
Message: Message,
valueall-type: valueall-type(T)
Lemmas :
name_wf,
valueall-type_wf,
sq_stable__valueall-type,
type-valueall-type,
set-valueall-type,
product-valueall-type,
atom-valueall-type,
list-valueall-type,
vatype_wf
valueall-type(Message)
Date html generated:
2011_08_17-PM-03_57_37
Last ObjectModification:
2011_06_28-PM-03_06_28
Home
Index