{
Message
}
{
Proof
}
Definitions occuring in Statement
:
Message:
Message
,
squash:
T
Lemmas
:
int-valueall-type
,
valueall-type_wf
,
subtype_rel_wf
,
member_wf
,
make-Msg_wf
\mdownarrow{}Message
Date html generated: 2011_08_17-PM-04_07_30
Last ObjectModification: 2011_06_27-PM-05_19_58
Home
Index
TMessage }T