diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-04-16 14:12:46 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-04-16 14:12:46 +0000 |
| commit | a36fe20505fee708d8d88700aa7fedd4d4157364 (patch) | |
| tree | e74a114ef70ae1e8509133f351fc02939d499039 /plugins/extraction/mlutil.mli | |
| parent | bf289727d98418069ee3011917393a725d011349 (diff) | |
Compare_dec : a few better proofs (and extracted terms), some more Defined
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12937 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/extraction/mlutil.mli')
0 files changed, 0 insertions, 0 deletions