src/HOL/document/root.bib
author huffman
Thu Aug 11 09:11:15 2011 -0700 (2011-08-11)
changeset 44165 d26a45f3c835
parent 27367 a75d71c73362
child 58623 2db1df2c8467
permissions -rw-r--r--
remove lemma stupid_ext
     1 
     2 @book{Birkhoff79,
     3   author =      {Garret Birkhoff},
     4   title =       {Lattice Theory},
     5   publisher =   {American Mathematical Society},
     6   year=1979
     7 }
     8 
     9 @book{Nipkow-et-al:2002:tutorial,
    10   author =      {T. Nipkow and L. C. Paulson and M. Wenzel},
    11   title =       {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
    12   series =      {LNCS},
    13   volume =      2283,
    14   year =        2002,
    15   publisher =   {Springer-Verlag}
    16 }