diff options
| author | letouzey | 2004-09-06 07:49:51 +0000 |
|---|---|---|
| committer | letouzey | 2004-09-06 07:49:51 +0000 |
| commit | cc746ea32b1dd61dff9c82db68f2f8ef2131af3f (patch) | |
| tree | 8d60faf1a917b330d0e0fa898a7eb6db33cde21d /lib/explore.ml | |
| parent | 4580470c8fe002c0077d96abaf32f180ee5c7455 (diff) | |
reparation des Extract Constant avec Haskell
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6064 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/explore.ml')
0 files changed, 0 insertions, 0 deletions