diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-04-29 10:04:07 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-04-29 10:04:07 +0000 |
| commit | ac8b30a9d072b7f4b6803ec7283d2661f0d45505 (patch) | |
| tree | e3f37d702cd931d77397b9abd4fee32cbd73fc4e /interp/constrintern.ml | |
| parent | fb7851ec9be42e9d3b77c9f7034c3995f68b2ced (diff) | |
Suite commit 9810
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9811 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'interp/constrintern.ml')
0 files changed, 0 insertions, 0 deletions