equal
deleted
inserted
replaced
913 title = {The {Isabelle} System Manual}, |
913 title = {The {Isabelle} System Manual}, |
914 institution = TUM} |
914 institution = TUM} |
915 |
915 |
916 @manual{isabelle-isar-ref, |
916 @manual{isabelle-isar-ref, |
917 author = {Markus Wenzel}, |
917 author = {Markus Wenzel}, |
918 title = {The {Isabelle Isar} Reference Manual}, |
918 title = {The {Isabelle/Isar} Reference Manual}, |
919 institution = TUM} |
919 institution = TUM} |
920 |
920 |
921 |
921 |
922 @InProceedings{Wenzel:1999:TPHOL, |
922 @InProceedings{Wenzel:1999:TPHOL, |
923 author = {Markus Wenzel}, |
923 author = {Markus Wenzel}, |