Nuprl - Proof: atomic char 1 1 1 1 1 1 1

(22steps total) Remark PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: atomic char 1 1 1 1 1 1 1

1. a :

2.

a = 0
3.

(a ~ 1)
4. b :

5. c :

6. a = b

c
7.

(b ~ 1)
8.

b

c = 0
9.

b = 0
10.

c = 0
11. c ~ 1

b ~ b

By:

RelRST

Generated subgoals:

None

About:

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

(22steps total) Remark PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc