diff options
| author | bertot | 2006-08-22 06:44:14 +0000 |
|---|---|---|
| committer | bertot | 2006-08-22 06:44:14 +0000 |
| commit | 353e280be1006b646cb4ac53e7282b4fe19b0460 (patch) | |
| tree | 2ad5d5d780fb267e57644961a3bcf4a27f7923be /doc/RecTutorial/RecTutorial.v | |
| parent | 583a1fe9e37c87ad56c16b4c384bf9dccf48224d (diff) | |
remove an orphan comment (attached to a piece of code that was removed).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9072 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/RecTutorial/RecTutorial.v')
0 files changed, 0 insertions, 0 deletions