| changeset 76063 | 24c9f56aa035 |
| parent 65449 | c82e63b11b8b |
| child 76213 | e44d86131648 |
--- a/src/ZF/ex/misc.thy Mon Sep 05 19:23:12 2022 +0200 +++ b/src/ZF/ex/misc.thy Mon Sep 05 20:22:13 2022 +0200 @@ -71,7 +71,7 @@ text\<open>Given as a challenge problem in R. Boyer et al., - Set Theory in First-Order Logic: Clauses for G\"odel's Axioms, + Set Theory in First-Order Logic: Clauses for Gödel's Axioms, JAR 2 (1986), 287-327\<close> text\<open>collecting the relevant lemmas\<close>