WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
Who Cites null?
null
Def null(as) == Case of as; nil
true
; a.as'
false
Thm*
T:Type, as:T List. null(as)
Thm*
null(nil)
About:
WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
true
; a.as' false
T:Type, as:T List. null(as) 
true ; a.as' falseT:Type, as:T List. null(as) 
