Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
.
L:T List.
x:T.
x
(x::L).False
False
Applied Tactic:
UnivCD THENA Auto THEN Rewrite (HigherC list_all_unrollC) 0
Generated subgoals:
1
. False
x
L.False
False
T:
. L:T List. x:T. x
(x::L).False 
False
xL.False False