Modules in frege.tools.doc