[acl2/acl2] 65589c: Tweaked documentation for set theory, including ad...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 65589c5afd2febf58b3f08a4ee74d154e1a40b04
https://github.com/acl2/acl2/commit/65589c5afd2febf58b3f08a4ee74d154e1a40b04
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-07-05 (Sun, 05 Jul 2026)

Changed paths:
M books/projects/set-theory/doc.lisp
R books/projects/set-theory/future-work.txt
M books/projects/set-theory/logic.txt

Log Message:
-----------
Tweaked documentation for set theory, including addition of :DOC zfc-future-work to replace text file future-work.txt



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[acl2buildserver]

Branch: refs/heads/testing