equal
deleted
inserted
replaced
616 @manual{isabelle-ref, |
616 @manual{isabelle-ref, |
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, |
|
622 author = {Markus Wenzel and Stefan Berghofer}, |
|
623 title = {The {Isabelle} System Manual}, |
|
624 institution = CUCL} |
|
625 |
|
626 @manual{isabelle-ZF, |
621 @manual{isabelle-ZF, |
627 author = {Lawrence C. Paulson}, |
622 author = {Lawrence C. Paulson}, |
628 title = {{Isabelle}'s Logics: {FOL} and {ZF}}, |
623 title = {{Isabelle}'s Logics: {FOL} and {ZF}}, |
629 institution = CUCL} |
624 institution = CUCL} |
630 |
625 |
911 year = 1994, |
906 year = 1994, |
912 month = aug} |
907 month = aug} |
913 |
908 |
914 %W |
909 %W |
915 |
910 |
|
911 @manual{isabelle-sys, |
|
912 author = {Markus Wenzel and Stefan Berghofer}, |
|
913 title = {The {Isabelle} System Manual}, |
|
914 institution = TUM} |
|
915 |
|
916 @manual{isabelle-isar-ref, |
|
917 author = {Markus Wenzel}, |
|
918 title = {The {Isabelle Isar} Reference Manual}, |
|
919 institution = TUM} |
|
920 |
|
921 |
916 @InProceedings{Wenzel:1999:TPHOL, |
922 @InProceedings{Wenzel:1999:TPHOL, |
917 author = {Markus Wenzel}, |
923 author = {Markus Wenzel}, |
918 title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents}, |
924 title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents}, |
919 crossref = {tphols99}} |
925 crossref = {tphols99}} |
920 |
926 |