diff options
| author | letouzey | 2001-03-27 12:49:20 +0000 |
|---|---|---|
| committer | letouzey | 2001-03-27 12:49:20 +0000 |
| commit | 269df4c2ba3d45b52100bdc7cd3a66ada2298775 (patch) | |
| tree | b2c38a2f5ae2045a7553d2bc510e8392dafbce7b /syntax | |
| parent | cbb66123625e44bf35a5dc3c2621a94589111304 (diff) | |
trace des inductifs sur Prop
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1492 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'syntax')
0 files changed, 0 insertions, 0 deletions