IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
card st vs boolsize
1
1
2
1. a : 
2. p : a
3. i : a
4. 
p(i)
false
0 = 1 
2
| By: |
Compute false * False |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
