Level: Lib Thy Top: 1
Hypotheses:

  1. A :

  2. L : L(A)

Conclusion:

Refl(A List;x,y.x Rl y) Sym(A List;x,y.x Rl y) Trans(A List;x,y.x Rl y)

Applied Tactic: GenExRepD
Generated subgoals:

1. Refl(A List;x,y.x Rl y)

2. Sym(A List;x,y.x Rl y)

3. Trans(A List;x,y.x Rl y)