Made HOL html docs