[acl2/acl2] ec1f19: Made small tweaks to :DOC topics zfc and zfc-model.

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: ec1f198d653578b68f1af5741dd957a5c9e3f8f3
https://github.com/acl2/acl2/commit/ec1f198d653578b68f1af5741dd957a5c9e3f8f3
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/projects/set-theory/doc.lisp

Log Message:
-----------
Made small tweaks to :DOC topics zfc and zfc-model.



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

[MattKaufmann]

Branch: refs/heads/testing