12 #ifndef CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H 13 #define CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H 27 #endif // CPROVER_GOTO_INSTRUMENT_DOCUMENT_PROPERTIES_H void document_properties_latex(const goto_modelt &, std::ostream &out)
void document_properties_html(const goto_modelt &, std::ostream &out)