diff options
| author |  mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-12 04:58:24 +0000 |
|---|---|---|
| committer | mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-12 04:58:24 +0000 |
| commit | a07627c4567ac28e7903755a955665dc8e347e9e (patch) | |
| tree | c32660e3d17fb2dc739906c08dbc740785e323a5 /TODO | |
| parent | 1cf49df11855525e05f65587be7198ecfdebc9e7 (diff) | |
Ajout de l'egalite de John Major
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1580 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -45,3 +45,6 @@ Doc: + Set Printing Coercions +- Suggestions de la formation + Dans le Intros pattern on pourrait interpreter les _ +comme des hypotheses sur lesquelles on ferait Clear immediatement |