IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
card st sized bool11 1. k : 2. a : 3. p : a 4. size(a)(p) = k (size(a)(p)) ~ k
By:
Rewrite by Hyp:4
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html