equal
deleted
inserted
replaced
935 journal = JAR, |
935 journal = JAR, |
936 volume = 11, |
936 volume = 11, |
937 number = 3, |
937 number = 3, |
938 pages = {353-389}, |
938 pages = {353-389}, |
939 year = 1993, |
939 year = 1993, |
940 url = {\url{http://www.cl.cam.ac.uk/users/lcp/papers/Sets/set-I.pdf}} |
940 url = {\url{http://www.cl.cam.ac.uk/users/lcp/papers/Sets/set-I.pdf}}} |
941 |
941 |
942 @Article{paulson-set-II, |
942 @Article{paulson-set-II, |
943 author = {Lawrence C. Paulson}, |
943 author = {Lawrence C. Paulson}, |
944 title = {Set Theory for Verification: {II}. {Induction} and |
944 title = {Set Theory for Verification: {II}. {Induction} and |
945 Recursion}, |
945 Recursion}, |