src/HOL/document/root.bib
changeset 66893 ced164fe3bbd
parent 58623 2db1df2c8467
child 67299 ba52a058942f
     1.1 --- a/src/HOL/document/root.bib	Sat Oct 21 18:19:11 2017 +0200
     1.2 +++ b/src/HOL/document/root.bib	Sun Oct 22 09:10:10 2017 +0200
     1.3 @@ -1,3 +1,25 @@
     1.4 +@book{Birkhoff79,
     1.5 +  author =      {Garret Birkhoff},
     1.6 +  title =       {Lattice Theory},
     1.7 +  publisher =   {American Mathematical Society},
     1.8 +  year=1979
     1.9 +}
    1.10 +
    1.11 +@Book{davenport92,
    1.12 +  author =	 {H. Davenport},
    1.13 +  title = 	 {The Higher Arithmetic},
    1.14 +  publisher = 	 {Cambridge University Press},
    1.15 +  year = 	 1992
    1.16 +}
    1.17 +
    1.18 +@techreport{Gordon-TR68,
    1.19 +  author = "Mike Gordon",
    1.20 +  title = "{HOL}: {A} Machine Oriented Formulation of Higher-Order Logic",
    1.21 +  institution = "University of Cambridge, Computer Laboratory",
    1.22 +  number = 68,
    1.23 +  year = 1985
    1.24 +}
    1.25 +
    1.26  @book{card-book,
    1.27    title = {Introduction to {C}ardinal {A}rithmetic},
    1.28    author = {M. Holz and K. Steffens and E. Weitz},
    1.29 @@ -5,11 +27,13 @@
    1.30    year = 1999,
    1.31  }
    1.32  
    1.33 -@Book{davenport92,
    1.34 -  author =	 {H. Davenport},
    1.35 -  title = 	 {The Higher Arithmetic},
    1.36 -  publisher = 	 {Cambridge University Press},
    1.37 -  year = 	 1992
    1.38 +@book{Nipkow-et-al:2002:tutorial,
    1.39 +  author =      {T. Nipkow and L. C. Paulson and M. Wenzel},
    1.40 +  title =       {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
    1.41 +  series =      {LNCS},
    1.42 +  volume =      2283,
    1.43 +  year =        2002,
    1.44 +  publisher =   {Springer-Verlag}
    1.45  }
    1.46  
    1.47  @InProceedings{paulin-tlca,
    1.48 @@ -26,19 +50,3 @@
    1.49    year		= 1993,
    1.50    publisher	= {Springer},
    1.51    series	= {LNCS 664}}
    1.52 -
    1.53 -@book{Birkhoff79,
    1.54 -  author =      {Garret Birkhoff},
    1.55 -  title =       {Lattice Theory},
    1.56 -  publisher =   {American Mathematical Society},
    1.57 -  year=1979
    1.58 -}
    1.59 -
    1.60 -@book{Nipkow-et-al:2002:tutorial,
    1.61 -  author =      {T. Nipkow and L. C. Paulson and M. Wenzel},
    1.62 -  title =       {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
    1.63 -  series =      {LNCS},
    1.64 -  volume =      2283,
    1.65 -  year =        2002,
    1.66 -  publisher =   {Springer-Verlag}
    1.67 -}
    1.68 \ No newline at end of file