diff options
| author |  msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-12-31 12:09:38 +0000 |
|---|---|---|
| committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-12-31 12:09:38 +0000 |
| commit | 932d9dbc302b2c530aef8f1da6c7b36e228aa1f9 (patch) | |
| tree | 09721042ad45cbd5f388b110cfd6eff7ec06c4de /pretyping/detyping.ml | |
| parent | 16ec5b48e61763137f800b4307a2699b2f9d3f38 (diff) | |
Initialized merge tracking via "svnmerge" with revisions "1-10357" from
svn+ssh://msozeau@scm.gforge.inria.fr/svn/coq/branches/TypeClasses
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10409 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/detyping.ml')
0 files changed, 0 insertions, 0 deletions