src/HOL/document/root.bib
author bulwahn
Fri Oct 21 11:17:14 2011 +0200 (2011-10-21)
changeset 45231 d85a2fdc586c
parent 27367 a75d71c73362
child 58623 2db1df2c8467
permissions -rw-r--r--
replacing code_inline by code_unfold, removing obsolete code_unfold, code_inline del now that the ancient code generator is removed
nipkow@21312
     1
haftmann@27367
     2
@book{Birkhoff79,
haftmann@27367
     3
  author =      {Garret Birkhoff},
haftmann@27367
     4
  title =       {Lattice Theory},
haftmann@27367
     5
  publisher =   {American Mathematical Society},
haftmann@27367
     6
  year=1979
haftmann@27367
     7
}
haftmann@27367
     8
haftmann@27367
     9
@book{Nipkow-et-al:2002:tutorial,
haftmann@27367
    10
  author =      {T. Nipkow and L. C. Paulson and M. Wenzel},
haftmann@27367
    11
  title =       {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
haftmann@27367
    12
  series =      {LNCS},
haftmann@27367
    13
  volume =      2283,
haftmann@27367
    14
  year =        2002,
haftmann@27367
    15
  publisher =   {Springer-Verlag}
haftmann@27367
    16
}