summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

doc-src/ZF/ZF.tex

changeset 6745 | 74e8f703f5f2 |

parent 6592 | c120262044b6 |

child 8249 | 3fc32155372c |

--- a/doc-src/ZF/ZF.tex Thu May 27 20:49:10 1999 +0200 +++ b/doc-src/ZF/ZF.tex Fri May 28 11:42:07 1999 +0200 @@ -1173,7 +1173,7 @@ These are essential to many definitions that follow, including the natural numbers and the transitive closure operator. The (co)inductive definition package also uses the fixedpoint operators~\cite{paulson-CADE}. See -Davey and Priestley~\cite{davey&priestley} for more on the Knaster-Tarski +Davey and Priestley~\cite{davey-priestley} for more on the Knaster-Tarski Theorem and my paper~\cite{paulson-set-II} for discussion of the Isabelle proofs.