diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-30 22:49:55 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-30 22:49:55 +0000 |
commit | 45f5a9e88a35412c49703c95dbca6c38b9340e11 (patch) | |
tree | 7800ce50c5de2da1c519a08b43c3de55329562b6 /theories | |
parent | 7944955b892f0ffa70ecf92f83b372cddc5b867b (diff) |
Suite commit 10730: MAJ xlate.ml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10732 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions