equal
deleted
inserted
replaced
788 volume = 7, |
788 volume = 7, |
789 number = 2, |
789 number = 2, |
790 month = mar, |
790 month = mar, |
791 pages = {175-204}} |
791 pages = {175-204}} |
792 |
792 |
|
793 @manual{isabelle-intro, |
|
794 author = {Lawrence C. Paulson}, |
|
795 title = {Introduction to {Isabelle}}, |
|
796 institution = CUCL, |
|
797 note = {\url{http://isabelle.in.tum.de/doc/intro.pdf}}} |
|
798 |
|
799 @manual{isabelle-logics, |
|
800 author = {Lawrence C. Paulson}, |
|
801 title = {{Isabelle's} Logics}, |
|
802 institution = CUCL, |
|
803 note = {\url{http://isabelle.in.tum.de/doc/logics.pdf}}} |
|
804 |
793 @manual{isabelle-ref, |
805 @manual{isabelle-ref, |
794 author = {Lawrence C. Paulson}, |
806 author = {Lawrence C. Paulson}, |
795 title = {The {Isabelle} Reference Manual}, |
807 title = {The {Isabelle} Reference Manual}, |
796 institution = CUCL, |
808 institution = CUCL, |
797 note = {\url{http://isabelle.in.tum.de/doc/ref.pdf}}} |
809 note = {\url{http://isabelle.in.tum.de/doc/ref.pdf}}} |