src/HOL/document/root.bib
author blanchet
Wed Feb 12 08:35:57 2014 +0100 (2014-02-12)
changeset 55415 05f5fdb8d093
parent 27367 a75d71c73362
child 58623 2db1df2c8467
permissions -rw-r--r--
renamed 'nat_{case,rec}' to '{case,rec}_nat'
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
}