Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
E,T,L:
.
S1,S2:Signature(E;T;L). S1 || S2
'
Applied Tactic:
Unfold `concurrent` 0 THEN Auto
Generated subgoals:
None
E,T,L:
. S1,S2:Signature(E;T;L). S1 || S2 
'