hol bool Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
The section "hol_bool" of Doug Howe's HOL library.

(creation_script.lisp)

Tue Jan 20 16:55:21 EST 2004 IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

hol bool Doc