equal
deleted
inserted
replaced
138 Robin Milner and Mads Tofte. |
138 Robin Milner and Mads Tofte. |
139 \newblock Co-induction in relational semantics. |
139 \newblock Co-induction in relational semantics. |
140 \newblock {\em Theoretical Computer Science}, 87:209--220, 1991. |
140 \newblock {\em Theoretical Computer Science}, 87:209--220, 1991. |
141 |
141 |
142 \bibitem{noel} |
142 \bibitem{noel} |
143 Philippe {No\"el}. |
143 Philippe No{\"e}l. |
144 \newblock Experimenting with {Isabelle} in {ZF} set theory. |
144 \newblock Experimenting with {Isabelle} in {ZF} set theory. |
145 \newblock {\em Journal of Automated Reasoning}, 10(1):15--58, 1993. |
145 \newblock {\em Journal of Automated Reasoning}, 10(1):15--58, 1993. |
146 |
146 |
147 \bibitem{nordstrom90} |
147 \bibitem{nordstrom90} |
148 Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith. |
148 Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith. |