Nuprl - Pf decidable equal nil 1

(2steps) PrintForm Definitions core 3 jlc Sections Support(jlc) Doc

At: decidable equal nil 1

1. T: Type

nil = nil T List nil = nil T List

By: DNth 1 0

Generated subgoals:

None

About:

(2steps) PrintForm Definitions core 3 jlc Sections Support(jlc) Doc