add empty theory template
add main-tex-file for faraday