diff options
| author | sacerdot | 2004-03-25 18:19:27 +0000 |
|---|---|---|
| committer | sacerdot | 2004-03-25 18:19:27 +0000 |
| commit | 36cd5b2a7fe3c2023a7c23ed6acc72bfa2959359 (patch) | |
| tree | 5a6955e16c52532ffba306c9255fd74cc5c0b1c3 /kernel | |
| parent | 54df3604cfe914d05b9198af8d18bb5e79213965 (diff) | |
The DTD that describes the CIC (with Explicit Named Substitutions) format.
A very brief description of the DTD is in the README file.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5569 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions