Level: Lib Thy Top: 1
Hypotheses:

  1. Alph :

  2. l : Alph List

  3. l' : Alph List

  4. L : Alph List

  5. L' : Alph List

  6. l:Alph List. L l L' l

  7. l = l'

Conclusion:

L l L' l'

Applied Tactic: RWH (HypC 7) 0 THENA Auto
Generated subgoals:

1. L l' L' l'