1316 title={Isabelle/Isar --- a versatile environment for human-readable formal proof documents}, |
1316 title={Isabelle/Isar --- a versatile environment for human-readable formal proof documents}, |
1317 school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen}, |
1317 school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen}, |
1318 year=2002, |
1318 year=2002, |
1319 note = {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}} |
1319 note = {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}} |
1320 |
1320 |
|
1321 @InCollection{Wenzel:2006:Festschrift, |
|
1322 author = {Makarius Wenzel}, |
|
1323 title = {{Isabelle/Isar} --- a generic framework for human-readable proof documents}, |
|
1324 booktitle = {From Insight to Proof --- Festschrift in Honour of Andrzej Trybulec}, |
|
1325 publisher = {University of Bia{\l}ystok}, |
|
1326 year = 2007, |
|
1327 editor = {R. Matuszewski and A. Zalewska}, |
|
1328 volume = {10(23)}, |
|
1329 series = {Studies in Logic, Grammar, and Rhetoric}, |
|
1330 note = {\url{http://www.in.tum.de/~wenzelm/papers/isar-framework.pdf}} |
|
1331 } |
|
1332 |
1321 @book{principia, |
1333 @book{principia, |
1322 author = {A. N. Whitehead and B. Russell}, |
1334 author = {A. N. Whitehead and B. Russell}, |
1323 title = {Principia Mathematica}, |
1335 title = {Principia Mathematica}, |
1324 year = 1962, |
1336 year = 1962, |
1325 publisher = CUP, |
1337 publisher = CUP, |