diff options
| author |  glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-02-10 18:05:09 +0000 |
|---|---|---|
| committer | glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-02-10 18:05:09 +0000 |
| commit | 2d8c70b3380d899c2717d00f2f27b4c6aefa2322 (patch) | |
| tree | 9efb666763308bb6c72c831490331b3cec380e9e /doc/stdlib | |
| parent | 461a5a2093f8e46708e01a27993f80919e20d4aa (diff) | |
Remove obsolete TheoryList
This library is no longer used anywhere, and its contents is
very... let's say historical... More seriously, many (and presumably
the most useful) stuff that used to be there are in List, now.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13828 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib')
| -rw-r--r-- | doc/stdlib/index-list.html.template | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 1a3663cf8..1329abcc8 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -414,7 +414,6 @@ through the <tt>Require Import</tt> command.</p> theories/Lists/SetoidList.v theories/Lists/Streams.v theories/Lists/StreamMemo.v - theories/Lists/TheoryList.v theories/Lists/ListTactics.v </dd> |