diff options
Diffstat (limited to 'doc/stdlib/Library.tex')
-rwxr-xr-x | doc/stdlib/Library.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex index f5509c3a3..02dc61bfe 100755 --- a/doc/stdlib/Library.tex +++ b/doc/stdlib/Library.tex @@ -61,4 +61,3 @@ you can access from the \Coq\ home page at \end{document} -% $Id$ |