Thms myhill nerode Sections AutomataTheory Doc

null Def null(as) == Case of as; nil true ; a.as' false

Thm* T:Type, as:T*. null(as)

Thm* null(nil)

About:
!abstractionlist_indbtruebfalseall
universelistmemberboolnil