PrintForm Definitions action sets Sections AutomataTheory Doc

At: lpower alt 1 1
1. Alph: Type
2. L: Alph*

(L0) = if 0=0 nil else L @ (L0-1) fi
By: Reduce 0
Generated subgoal:

1 (L0) = nil

About:
equallistnatural_numberifthenelsenilsubtractuniverse