doc-src/manual.bib
changeset 7298 e49024d43c10
parent 7209 7577d5a5dc29
child 7350 708bd83745c5
equal deleted inserted replaced
7297:c1eeeadbe80a 7298:e49024d43c10
   617   author	= {Lawrence C. Paulson},
   617   author	= {Lawrence C. Paulson},
   618   title		= {The {Isabelle} Reference Manual},
   618   title		= {The {Isabelle} Reference Manual},
   619   institution	= CUCL}
   619   institution	= CUCL}
   620 
   620 
   621 @manual{isabelle-sys,
   621 @manual{isabelle-sys,
   622   author	= {Markus Wenzel},
   622   author	= {Markus Wenzel and Stefan Berghofer},
   623   title		= {The {Isabelle} System Manual},
   623   title		= {The {Isabelle} System Manual},
   624   institution	= CUCL}
   624   institution	= CUCL}
   625 
   625 
   626 @manual{isabelle-ZF,
   626 @manual{isabelle-ZF,
   627   author	= {Lawrence C. Paulson},
   627   author	= {Lawrence C. Paulson},