------------------------------
 Detailed examples of tactics
------------------------------

:Source: https://coq.inria.fr/distrib/current/refman/tactic-examples.html
:Converted by: Maxime Dénès