diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-14 15:30:31 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-14 15:30:31 +0000 |
| commit | 6bbce8f236e96fde855e3fa90c6334e89201f077 (patch) | |
| tree | 6ec5359c82496bc14b8cdb2c2cf076c37f49f0a6 /theories | |
| parent | a70eb94dc94a41c9e931b7c13ac3ca254f0bcda9 (diff) | |
Regression files for bugs #2304 and #2490.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14204 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions