PrintForm languages Sections AutomataTheory Doc

At: lang union inters 1 3 1 2

1. Alph: Type
2. L: Alph*Prop
3. M: Alph*Prop
4. N: Alph*Prop
5. l: Alph*
6. M(l)
7. L(l) N(l)

L(l) M(l) & N(l)

By: Analyze 7

Generated subgoals:

17. L(l)
L(l) M(l) & N(l)
27. N(l)
L(l) M(l) & N(l)


About:
orapplyanduniversefunctionlistprop