PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: lremove wf

St:Type, l:St*, s:St, eq:(StSt). (l \ s) St*
By: RepD
Generated subgoal:

11. St: Type
2. l: St*
3. s: St
4. eq: StSt
(l \ s) St*

About:
alluniverselistfunctionboolmember