1293 title = {The {Isabelle} System Manual}, |
1293 title = {The {Isabelle} System Manual}, |
1294 institution = {TU Munich}, |
1294 institution = {TU Munich}, |
1295 note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}} |
1295 note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}} |
1296 |
1296 |
1297 @manual{isabelle-isar-ref, |
1297 @manual{isabelle-isar-ref, |
1298 author = {Markus Wenzel}, |
1298 author = {Makarius Wenzel}, |
1299 title = {The {Isabelle/Isar} Reference Manual}, |
1299 title = {The {Isabelle/Isar} Reference Manual}, |
1300 institution = {TU Munich}, |
1300 institution = {TU Munich}, |
1301 note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}} |
1301 note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}} |
|
1302 |
|
1303 @manual{isabelle-implementation, |
|
1304 author = {Makarius Wenzel}, |
|
1305 title = {The {Isabelle/Isar} Implementation}, |
|
1306 institution = {TU Munich}, |
|
1307 note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}} |
1302 |
1308 |
1303 @manual{isabelle-axclass, |
1309 @manual{isabelle-axclass, |
1304 author = {Markus Wenzel}, |
1310 author = {Markus Wenzel}, |
1305 title = {Using Axiomatic Type Classes in {I}sabelle}, |
1311 title = {Using Axiomatic Type Classes in {I}sabelle}, |
1306 institution = {TU Munich}, |
1312 institution = {TU Munich}, |