equal
deleted
inserted
replaced
465 year = {2007}, |
465 year = {2007}, |
466 institution = {Department of Computer Science, University of Kaiserslautern}, |
466 institution = {Department of Computer Science, University of Kaiserslautern}, |
467 number = {364/07} |
467 number = {364/07} |
468 } |
468 } |
469 |
469 |
|
470 @InProceedings{Haftmann-Wenzel:2009, |
|
471 author = {Florian Haftmann and Makarius Wenzel}, |
|
472 title = {Local theory specifications in {Isabelle/Isar}}, |
|
473 editor = {Stefano Berardi and Ferruccio Damiani and de Liguoro, Ugo}, |
|
474 booktitle = {Types for Proofs and Programs, TYPES 2008}, |
|
475 publisher = {Springer}, |
|
476 series = {LNCS}, |
|
477 volume = {????}, |
|
478 year = {2009} |
|
479 } |
|
480 |
470 @manual{isabelle-classes, |
481 @manual{isabelle-classes, |
471 author = {Florian Haftmann}, |
482 author = {Florian Haftmann}, |
472 title = {Haskell-style type classes with {Isabelle}/{Isar}}, |
483 title = {Haskell-style type classes with {Isabelle}/{Isar}}, |
473 institution = TUM, |
484 institution = TUM, |
474 note = {\url{http://isabelle.in.tum.de/doc/classes.pdf}} |
485 note = {\url{http://isabelle.in.tum.de/doc/classes.pdf}} |