diff options
author | 2006-04-06 13:25:10 +0000 | |
---|---|---|
committer | 2006-04-06 13:25:10 +0000 | |
commit | b7f569627247bbcdf7826b263ee121ebc9f84fd2 (patch) | |
tree | 17c3210936290e24fbcfeb4067b97fc795f2827c /theories/Lists/SetoidList.v | |
parent | 0664ac4c10a0ba92a49210b7d29fb4873537c487 (diff) |
versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8686 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Lists/SetoidList.v')
-rw-r--r-- | theories/Lists/SetoidList.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/theories/Lists/SetoidList.v b/theories/Lists/SetoidList.v index b17e4677f..a25b83fc8 100644 --- a/theories/Lists/SetoidList.v +++ b/theories/Lists/SetoidList.v @@ -9,7 +9,6 @@ (* $Id$ *) Require Export List. -Require Export MoreList. Require Export Sorting. Require Export Setoid. Set Implicit Arguments. |