|
From: Mike G. <Mik...@cl...> - 2008-06-20 13:16:54
|
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 <Mik...@cl...> 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! |