Nuprl - Proof: is list mem null

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: is list mem null

A:Type, x:A. (x

nil)

False

By:	Compute x nil * False

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html