changeset 12331 | d40cc6e7bfd8 |
parent 11619 | 0b231e0fd7d7 |
child 12466 | 5f4182667032 |
--- a/doc-src/manual.bib Thu Nov 29 19:03:03 2001 +0100 +++ b/doc-src/manual.bib Thu Nov 29 20:02:23 2001 +0100 @@ -1123,6 +1123,9 @@ title = {Type Classes and Overloading in Higher-Order Logic}, crossref = {tphols97}} +@phdthesis{Wenzel-PhD,author={Markus Wenzel},title={Isabelle/Isar --- +a versatile environment for human-readable formal proof documents}, +school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},year=2002} @book{principia,