PrintForm
Definitions
mb
structures
Sections
GenAutomata
Doc
At:
msg
sender
wf
M:MessageStruct. sender(M)
|M|
Label
By:
Analyze 0
THEN
Unfold `msg_sender` 0
THEN
RepeatFor 4 ((Analyze -1) THEN (Reduce 0))
Generated subgoals:
None
About:
PrintForm
Definitions
mb
structures
Sections
GenAutomata
Doc