diff options
| author | barras | 2002-02-18 10:35:29 +0000 |
|---|---|---|
| committer | barras | 2002-02-18 10:35:29 +0000 |
| commit | 47670a856c53fad0a5d43b01d9d09115d48d64f7 (patch) | |
| tree | c5776bfea279aa870d52300aa6b0645f997b7228 /dev | |
| parent | 1e6c3e993fd33d01713aae34a8cefbc210b3898a (diff) | |
but de CutRewrite <- (assert false)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2482 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions