diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-05-21 16:45:16 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-05-21 16:45:16 +0000 |
| commit | cb601622d7478ca2d61a4c186d992d532f141ace (patch) | |
| tree | 847e4d89adb59515a4f86a12513d9115896989b5 /toplevel/metasyntax.ml | |
| parent | 4ad9bd3e1480b50aa3a4299fedccb30faea86cee (diff) | |
Mise en conformite de la precedence du '-' unaire avec celle de Notations (suite)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4053 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/metasyntax.ml')
0 files changed, 0 insertions, 0 deletions