diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-01-19 22:21:34 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-01-19 22:21:34 +0000 |
| commit | db4e1d74309296a32b1ac3b331f9f00bca021166 (patch) | |
| tree | e801332c421c92b82b4264e1704f6ddacdf01b42 /contrib/romega/ReflOmegaCore.v | |
| parent | 3236048ce870a80d6278a59205917379d31e31bb (diff) | |
Clear sur hypothese non definie
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3534 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/romega/ReflOmegaCore.v')
0 files changed, 0 insertions, 0 deletions