src/HOL/document/root.bib
author wenzelm
Mon Mar 16 18:24:30 2009 +0100 (2009-03-16)
changeset 30549 d2d7874648bd
parent 27367 a75d71c73362
child 58623 2db1df2c8467
permissions -rw-r--r--
simplified method setup;
     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 }