Nuprl - Pf formula_not_right

1. hyp: Formula List
2. M: Formula List
3. N: Formula List
4. f: Formula
5. a: Assignment
6. FM.a |= F a |= f FN.a |= F

a | f Fhyp.a | F FM.a |= F FN.a |= F

By: Analyze -1

Generated subgoals:

1 6. FM.a |= F
a | f Fhyp.a | F FM.a |= F FN.a |= F

2 6. a |= f FN.a |= F
a | f Fhyp.a | F FM.a |= F FN.a |= F

About:

1	6. `FM.a \|= F` `a \| f Fhyp.a \| F FM.a \|= F FN.a \|= F`
2	6. `a \|= f FN.a \|= F` `a \| f Fhyp.a \| F FM.a \|= F FN.a \|= F`