diff options
Diffstat (limited to 'theories/Lists/intro.tex')
| -rwxr-xr-x | theories/Lists/intro.tex | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/theories/Lists/intro.tex b/theories/Lists/intro.tex index c45f8803..0051e2c2 100755 --- a/theories/Lists/intro.tex +++ b/theories/Lists/intro.tex @@ -21,7 +21,4 @@ This library includes the following files: coinductive type. Basic facts are stated and proved. The streams are also polymorphic. -\item {\tt MonoList.v} THIS OLD LIBRARY IS HERE ONLY FOR COMPATIBILITY - WITH OLDER VERSIONS OF COQ. THE USER SHOULD USE {\tt List.v} INSTEAD. - \end{itemize} |