diff options
| author |  emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-11-03 19:20:51 +0000 |
|---|---|---|
| committer | emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-11-03 19:20:51 +0000 |
| commit | e38fc39f64d8af81fc237889329953bfafa29422 (patch) | |
| tree | da8c6f96671bb1d387b9267827b300e153250675 /contrib/subtac/subtac_obligations.ml | |
| parent | 4e6e719d23b9cfc0e9d21cce065c795c1037bccb (diff) | |
An update of theories/Numbers
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10285 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/subtac/subtac_obligations.ml')
0 files changed, 0 insertions, 0 deletions