IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Theorem | Name |
Thm* Dec(A)    A A | [dneg_elim] |
| cites the following: |
| Thm* Dec(P) Stable{P} | [stable__from_decidable] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
