author | Christian Sternagel |
Thu, 30 Aug 2012 15:44:03 +0900 | |
changeset 49093 | fdc301f592c4 |
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} }