equal
deleted
inserted
replaced
6 month = {April}, |
6 month = {April}, |
7 year = 2005, |
7 year = 2005, |
8 note = {Corrected and revised version of inaugural lecture, |
8 note = {Corrected and revised version of inaugural lecture, |
9 delivered on 22nd January 2004 at the School of |
9 delivered on 22nd January 2004 at the School of |
10 Computing Science, Middlesex University} |
10 Computing Science, Middlesex University} |
|
11 } |
|
12 @Misc{wenzel-technology, |
|
13 author = {M.~Wenzel}, |
|
14 title = {Further Scaling of Isabelle Technology}, |
|
15 howpublished = {http://sketis.net}, |
|
16 month = {April}, |
|
17 year = {2018}, |
|
18 note = {}, |
11 } |
19 } |
12 |
20 |
13 @Book{isa-tutorial, |
21 @Book{isa-tutorial, |
14 author = {T.~Nipkow and L.~C.~Paulson and M.~Wenzel}, |
22 author = {T.~Nipkow and L.~C.~Paulson and M.~Wenzel}, |
15 title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic}, |
23 title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic}, |