diff options
| author | sacerdot | 2004-04-07 22:55:34 +0000 |
|---|---|---|
| committer | sacerdot | 2004-04-07 22:55:34 +0000 |
| commit | 9309f79d034ba88c4205a500f839eccbe633f2f1 (patch) | |
| tree | 94b5fd68c036bc667f1c5db59752bae72b34f54e /dev | |
| parent | a70a76ff39ef6a003d2cd517900d5b62b3914767 (diff) | |
- theoryobject.dtd is the DTD for .theory files
- copyright notice inserted in every DTD
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5657 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions