diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-22 16:07:45 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-22 16:07:45 +0000 |
| commit | 96876c750e05108e07dc1f29fa8db53f35f62f95 (patch) | |
| tree | 4037c8fb2db4c945a86dbfbc8767322fda7728ff /proofs/redexpr.mli | |
| parent | 4385c7c73868969617c04f74023ccf944e252bdc (diff) | |
fixed dependency problems with the checker
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10970 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'proofs/redexpr.mli')
0 files changed, 0 insertions, 0 deletions