author | haftmann |
Fri, 10 Dec 2010 16:10:50 +0100 | |
changeset 41107 | 8795cd75965e |
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} }