aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/pattern.ml
diff options
context:
space:
mode:
authorGravatar delahaye <delahaye@85f007b7-540e-0410-9357-904b9bb8a0f7>2000-10-30 16:54:38 +0000
committerGravatar delahaye <delahaye@85f007b7-540e-0410-9357-904b9bb8a0f7>2000-10-30 16:54:38 +0000
commit69953ca730d5f05ce3925273ae6e8018aa564959 (patch)
tree33db70517fbc4dce3475ca3c236f00c0f2b6c85a /parsing/pattern.ml
parent3057d53b0bfbb3c15e9d9d6942b35dfef495fe24 (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