PrintForm
Definitions
list
3
autom
Sections
AutomataTheory
Doc
At:
whole
segment
T:Type, as:T*. (as[0..||as||
]) = as
By:
RepD
Generated subgoal:
1
1.
T:
Type
2.
as:
T*
(as[0..||as||
]) = as
About:
(as[0..||as||
]) = as 
T:Type, as:T*. (as[0..||as||]) = as (as[0..||as||]) = as
