aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/proof-engine
ModeNameSize
-rw-r--r--detailed-tactic-examples.rst29480logplain
-rw-r--r--ssreflect-proof-language.rst168745logplain
-rw-r--r--tactics.rst168909logplain