Level: Lib Thy Top:
Hypotheses:None
Conclusion:
G:Sequent
L:Sequent List. s
L.(
s = 0) 
(sL.|= s 
|= G ) (a:Assignment. sL.a |
s a | G)
Applied Tactic: D 0 THENA Auto
Generated subgoals:1. L:Sequent List. sL.( s = 0) (sL.|= s |= G ) (a:Assignment. sL.a | s a | G)