This project has moved and is read-only. For the latest updates, please go here.

where is the Attached Collection version of the HOL

Apr 29, 2014 at 7:58 PM
It was mentioned in the PDF HOL but I don't see it on the site
Apr 30, 2014 at 5:45 PM
Could you give more context so that we can investigate please? Which HOL and page?