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

(creation_script.lisp)

Fri Jan 23 17:09:41 EST 2004 IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

hol prim rec Doc