diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-12-18 22:56:19 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-12-18 22:56:19 +0000 |
| commit | b7cebe9900fbf93db60ce1a1ee3c04516a618faa (patch) | |
| tree | f25f5e6e758e185d7bd5519f17b614d0b397af75 /proofs | |
| parent | e92f9033dc7c23d0d6ba1ff2beb953df5bea50d8 (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1143 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions