This project has moved. For the latest updates, please go here.

where is the Attached Collection version of the HOL

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