author | wenzelm |
Sat, 22 Mar 2014 18:19:57 +0100 | |
changeset 56254 | a2dd9200854d |
parent 27367 | a75d71c73362 |
child 58623 | 2db1df2c8467 |
permissions | -rw-r--r-- |
@book{Birkhoff79, author = {Garret Birkhoff}, title = {Lattice Theory}, publisher = {American Mathematical Society}, year=1979 } @book{Nipkow-et-al:2002:tutorial, author = {T. Nipkow and L. C. Paulson and M. Wenzel}, title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic}, series = {LNCS}, volume = 2283, year = 2002, publisher = {Springer-Verlag} }