src/HOL/document/root.bib
changeset 27367 a75d71c73362
parent 22367 6860f09242bf
child 58623 2db1df2c8467
     1.1 --- a/src/HOL/document/root.bib	Thu Jun 26 10:06:53 2008 +0200
     1.2 +++ b/src/HOL/document/root.bib	Thu Jun 26 10:06:54 2008 +0200
     1.3 @@ -1,3 +1,16 @@
     1.4  
     1.5 -@book{Birkhoff79,author={Garret Birkhoff},title={Lattice Theory},
     1.6 -publisher={American Mathematical Society},year=1979}
     1.7 \ No newline at end of file
     1.8 +@book{Birkhoff79,
     1.9 +  author =      {Garret Birkhoff},
    1.10 +  title =       {Lattice Theory},
    1.11 +  publisher =   {American Mathematical Society},
    1.12 +  year=1979
    1.13 +}
    1.14 +
    1.15 +@book{Nipkow-et-al:2002:tutorial,
    1.16 +  author =      {T. Nipkow and L. C. Paulson and M. Wenzel},
    1.17 +  title =       {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
    1.18 +  series =      {LNCS},
    1.19 +  volume =      2283,
    1.20 +  year =        2002,
    1.21 +  publisher =   {Springer-Verlag}
    1.22 +}
    1.23 \ No newline at end of file