Nuprl - Proof: btrue neq bfalse 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: btrue neq bfalse 1 1

1. true

= false

2. if true

1 else 0 fi = if false

1 else 0 fi

False

By:	RWH ifthenelse_evalC 2

Generated subgoals:

None

About:

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