Anyone know what recspace is (see question below)? I've not come across it before.
Mike ---------- Forwarded message ---------- Date: Fri, Jun 20, 2008 at 2:05 PM To: Mike Gordon <[EMAIL PROTECTED]> Hi Mike, Could I ask another quick question? I'm trying to find out what the type `a recspace means in HOL (still looking at the list theory)... I've tried searching through the 'description' and 'reference' manuals but haven't found an account. Is there separate library documentation that I should be searching through? Thanks! ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://sourceforge.net/services/buy/index.php _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
