Fix linebreak bug in HOL certificates and include some beautifications in the structure for readability