diff options
| author | barras | 2003-03-14 10:54:28 +0000 |
|---|---|---|
| committer | barras | 2003-03-14 10:54:28 +0000 |
| commit | 7e787bce059ea8c69caadfc31110c648c3837b9c (patch) | |
| tree | b00d786d92b1a366040e5c33024599213a6c914b /scripts | |
| parent | af0a1bfa3a277c15c4881bed3ceb99dda81c9362 (diff) | |
reparations suite a la nouvelle syntaxe:
- syntaxe des modules
- syntaxe existentielle
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3769 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions