291 title="Introduction to Functional Programming using Haskell", |
291 title="Introduction to Functional Programming using Haskell", |
292 publisher=PH,year=1998} |
292 publisher=PH,year=1998} |
293 |
293 |
294 @manual{isabelle-nitpick, |
294 @manual{isabelle-nitpick, |
295 author = {Jasmin Christian Blanchette}, |
295 author = {Jasmin Christian Blanchette}, |
296 title = {Picking Nits: A User's Guide to {N}itpick for {I}sabelle/{HOL}}, |
296 title = {Picking Nits: A User's Guide to {N}itpick for {I}sabelle\slash {HOL}}, |
297 institution = TUM, |
297 institution = TUM, |
298 note = {\url{http://isabelle.in.tum.de/doc/nitpick.pdf}} |
298 note = {\url{http://isabelle.in.tum.de/doc/nitpick.pdf}} |
299 } |
299 } |
300 |
300 |
301 @manual{isabelle-sledgehammer, |
301 @manual{isabelle-sledgehammer, |
302 author = {Jasmin Christian Blanchette}, |
302 author = {Jasmin Christian Blanchette}, |
303 title = {Hammering Away: A User's Guide to {S}ledgehammer for {I}sabelle/{HOL}}, |
303 title = {Hammering Away: A User's Guide to {S}ledgehammer for {I}sabelle\slash {HOL}}, |
304 institution = TUM, |
304 institution = TUM, |
305 note = {\url{http://isabelle.in.tum.de/doc/sledgehammer.pdf}} |
305 note = {\url{http://isabelle.in.tum.de/doc/sledgehammer.pdf}} |
306 } |
306 } |
307 |
307 |
308 @inproceedings{blanchette-nipkow-2010, |
308 @inproceedings{blanchette-nipkow-2010, |