src/HOL/document/root.bib
author huffman
Mon Jan 12 12:09:54 2009 -0800 (2009-01-12)
changeset 29460 ad87e5d1488b
parent 27367 a75d71c73362
child 58623 2db1df2c8467
permissions -rw-r--r--
new lemmas about synthetic_div; declare degree_pCons_eq_if [simp]
     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 }