diff options
author | delahaye <delahaye@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-10-30 16:54:38 +0000 |
---|---|---|
committer | delahaye <delahaye@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-10-30 16:54:38 +0000 |
commit | 69953ca730d5f05ce3925273ae6e8018aa564959 (patch) | |
tree | 33db70517fbc4dce3475ca3c236f00c0f2b6c85a /parsing/pattern.ml | |
parent | 3057d53b0bfbb3c15e9d9d6942b35dfef495fe24 (diff) |
Pour le Require Export (temporaire)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@784 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/pattern.ml')
0 files changed, 0 insertions, 0 deletions