Cross Reference: _theorem_large.html.haml
xref
: /
ontohub
/
app
/
views
/
theorems
/
_theorem_large.html.haml
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
%tr
%td= link_to resource, url_for([resource, :proof_attempts])
%td= format_for_view(resource)