PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: lshort wf

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

11. St: Type
2. l: St*
3. eq: StSt
LShort(l) St*

About:
alluniverselistfunctionboolmember