(** 


#
<script src='https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-MML-AM_CHTML' async></script>
#

To play this document inside your browser use ALT-N and ALT-P.

You can 
#<span class="save-button" onClick="save_coq_snippets()" >save your edits</span>#
inside your browser and 
#<span class="save-button" onClick="load_coq_snippets()" >load them back</span>#
(edits are also saved when you close the window).  Finally you can
#<span class="save-button" onClick="download_coq_snippets()" >download</span>#
the file for offline editing.

----
*)