equal
deleted
inserted
replaced
482 title = {Local theory specifications in {Isabelle/Isar}}, |
482 title = {Local theory specifications in {Isabelle/Isar}}, |
483 editor = {Stefano Berardi and Ferruccio Damiani and de Liguoro, Ugo}, |
483 editor = {Stefano Berardi and Ferruccio Damiani and de Liguoro, Ugo}, |
484 booktitle = {Types for Proofs and Programs, TYPES 2008}, |
484 booktitle = {Types for Proofs and Programs, TYPES 2008}, |
485 publisher = {Springer}, |
485 publisher = {Springer}, |
486 series = {LNCS}, |
486 series = {LNCS}, |
487 volume = {????}, |
487 volume = {5497}, |
488 year = {2009} |
488 year = {2009} |
489 } |
489 } |
490 |
490 |
491 @manual{isabelle-classes, |
491 @manual{isabelle-classes, |
492 author = {Florian Haftmann}, |
492 author = {Florian Haftmann}, |