PrintForm languages Sections AutomataTheory Doc

At: lang union inters 1 1 2
1. Alph: Type
2. L: Alph*Prop
3. M: Alph*Prop
4. N: Alph*Prop
5. l: Alph*
6. M(l) & N(l)

L(l) M(l)
By:
Analyze 6
THEN
Sel 2 (Analyze 0)
Generated subgoals:

None

About:
orapplyuniversefunctionlistpropand