diff options
| author |  bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-02-13 08:48:06 +0000 |
|---|---|---|
| committer | bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-02-13 08:48:06 +0000 |
| commit | 3bc2bb21ea017134ebd759062d71c932efb439e1 (patch) | |
| tree | 90bca77938fe9d385de9837d9c16d63149012678 /parsing/g_natsyntax.ml | |
| parent | fc507c51aba9e0258e41e3ea4c8b38bf2cc0dc1b (diff) | |
export a function that is needed in pcoq.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1372 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/g_natsyntax.ml')
0 files changed, 0 insertions, 0 deletions