diff options
| author |  puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-10-30 14:40:00 +0000 |
|---|---|---|
| committer | puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-10-30 14:40:00 +0000 |
| commit | bf64277c2909311a756eb11a5581e25048e9918f (patch) | |
| tree | 71b659cf5a907f0fcee8bba1f12295b4afa127f0 /theories/Relations | |
| parent | b8018319137599b5809bcce0aafca2ecf96b4bf9 (diff) | |
Undo 12432 which caused an exponential behavior at Requires. Compilation time should be back to normal.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12451 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Relations')
0 files changed, 0 insertions, 0 deletions