diff options
author | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-01 14:45:20 +0000 |
---|---|---|
committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-01 14:45:20 +0000 |
commit | 0032db4111730e488994d4f4835b27a7caa3f2a4 (patch) | |
tree | a0385a781aaa3853a51879176fab96f7995f57ad /toplevel/vernacexpr.ml | |
parent | 85a099e4ff1f7d3461c4549ebf6051f55923a92c (diff) |
pp of nested fixpoints (dangling with/for)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6387 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/vernacexpr.ml')
0 files changed, 0 insertions, 0 deletions