diff options
| author | herbelin | 2003-03-27 14:06:50 +0000 |
|---|---|---|
| committer | herbelin | 2003-03-27 14:06:50 +0000 |
| commit | b05f75fabd8910c2a69e1f3ce1d93d3c0f72329f (patch) | |
| tree | 3e684c764e2206b8c84f05cbb8073a617b6d9776 /kernel | |
| parent | c35a61c9030fa5cd3785ef494e9b5b658743a74e (diff) | |
Affinement nommage des productions
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3794 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions