[Hol-info] recspace

[Mike G. <Mik...@cl...>]

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!