Nuprl - Pf decidable equal nil

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

At: decidable equal nil

T:Type. Dec(nil = nil T List)

By: Unfold `decidable` 0 THEN Analyze 0

Generated subgoal:

1 1. T: Type
nil = nil T List nil = nil T List

About:

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