diff options
author | 2008-03-13 11:59:31 +0000 | |
---|---|---|
committer | 2008-03-13 11:59:31 +0000 | |
commit | ede35d97c697fb52d7edc17556e9089c0eb8f5dc (patch) | |
tree | 004c42568c65e1a31da5f789206bc41288f69370 /pretyping/matching.mli | |
parent | 9c8fdb79a0e43ae3d7bf7ed94c7dafad572fd61a (diff) |
trying f
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10659 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/matching.mli')
0 files changed, 0 insertions, 0 deletions