_theorem.html.haml revision e200ddd4b78a4915a072095be2a2e6cac65ed333
%tr
%td= theorem.name
%td= format_for_view(theorem)
%td= theorem.proof_status