Nuprl - Pf formula_not_right

1. hyp: Formula List
2. M: Formula List
3. N: Formula List
4. f2: Formula
5. a: Full( < hyp,M @ (f2.N) > )

a |= < f2.hyp,M @ N > a | < f2.hyp,M @ N >

By: Analyze -1 THEN Analyze -1

Generated subgoals:

About:

1	5. `a:` `Assignment` 6. `a \|= < hyp,M @ (f2.N) >` `a \|= < f2.hyp,M @ N > a \| < f2.hyp,M @ N >`
2	5. `a:` `Assignment` 6. `a \| < hyp,M @ (f2.N) >` `a \|= < f2.hyp,M @ N > a \| < f2.hyp,M @ N >`