diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-11-24 23:50:27 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-11-24 23:50:27 +0000 |
commit | 55a483ea0694eab627e9386f69f3c05693e37fa1 (patch) | |
tree | 462f8dc9b8a8f02a76ef38c41ab9cc896dab2960 /theories/ZArith/Zsyntax.v | |
parent | 475e5a78b5b410cfa437bb89b1aebf36e01d5950 (diff) |
RĂ©tablissement printer via ast
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3272 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/ZArith/Zsyntax.v')
0 files changed, 0 insertions, 0 deletions