GenAutomata
Sections
NuprlLIB
Doc
Def
x before y
l == sublist(T;[x; y];l)
is mentioned
In prior sections:
mb
list
1
mb
list
2
GenAutomata
Sections
NuprlLIB
Doc
l == sublist(T;[x; y];l)