equal
deleted
inserted
replaced
18 publisher={Prentice Hall} |
18 publisher={Prentice Hall} |
19 } |
19 } |
20 @manual{wenzel2011system, |
20 @manual{wenzel2011system, |
21 title={The Isabelle System Manual}, |
21 title={The Isabelle System Manual}, |
22 author={Wenzel, M. and Berghofer, S.}, |
22 author={Wenzel, M. and Berghofer, S.}, |
23 organization={TU München}, |
23 organization={TU Muenchen}, |
24 year={2011}, |
24 year={2011}, |
25 month={January} |
25 month={January} |
26 } |
26 } |
27 @Book{Nipkow-Paulson-Wenzel:2002, |
27 @Book{Nipkow-Paulson-Wenzel:2002, |
28 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, |
28 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, |