changeset 16763 | 14443b31ef47 |
parent 14706 | 71590b7733b7 |
child 17202 | d364e0fd9c2f |
--- a/src/HOL/Library/Library/document/root.bib Fri Jul 08 11:39:08 2005 +0200 +++ b/src/HOL/Library/Library/document/root.bib Fri Jul 08 11:39:44 2005 +0200 @@ -13,13 +13,6 @@ year = 1993 } -@Book{davenport92, - author = {H. Davenport}, - title = {The Higher Arithmetic}, - publisher = {Cambridge University Press}, - year = 1992 -} - @InProceedings{paulin-tlca, author = {Christine Paulin-Mohring}, title = {Inductive Definitions in the System {Coq}: Rules and