equal
deleted
inserted
replaced
|
1 @book{Paulson:Isa94, |
|
2 title={Isabelle: a generic theorem prover}, |
|
3 author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994}, |
|
4 volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={}, |
|
5 note={With contributions by Topias Nipkow}, |
|
6 status={},source={},location={-} |
|
7 } |
|
8 |
1 @Book{pl:milner97, |
9 @Book{pl:milner97, |
2 author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen}, |
10 author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen}, |
3 title = {The Definition of Standard ML (Revised)}, |
11 title = {The Definition of Standard ML (Revised)}, |
4 publisher = {The MIT Press}, |
12 publisher = {The MIT Press}, |
5 year = 1997, |
13 year = 1997, |