Thms
exponent
Sections
AutomataTheory
Doc
null
Def
null(as) == Case of as : null
true
; a.as'
false
Thm*
as:T*. null(as)
Thm*
null(nil)