IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Theorem | Name |
Thm*  b: . Dec(b) | [decidable__assert] |
| cites the following: |
Thm* true | [assert_of_tt] |
Thm*  false | [assert_of_ff] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
