dbf715af · évite une répétition maladroite de 'montrer'

78adf56f · améliore l'explication des quantifications universelles

eeec78f9 · avoid leaving the git repository in a detached state

3b926cd4 · add instructions to use latexdiff

371b0239 · raccourcit le résumé

bc6c9dc6 · simplifie l'explication des buts résolus par easy, enleve une phras...

37cb7759 · ajoute un premier paragraphe qui peut servir de résumé

8ab42318 · an html version to be used in jscoq, with comments designed for

e92dfdf9 · adding license

0858d5c7 · adds references to Coq, coq-in-a-hurry, and the source code

adba7b55 · summary of the structure and command to produce the rtf format

56fd36f0 · gitignore

91fcfa6f · decompose into smaller parts, to make it possible to share material

6e208d4e · relecture et corrections mineures pour la première partie jusqu'à

987e9830 · prove that the instantiated function with association lists is correct

97d9030c · make it explicit that the latex sources use unicode, to help latex2tf

3947e4a3 · léger changement de point de vue, et correction d'une typo sur 'tra...

a2057a2b · initial version after one full day of work