[acl2/acl2] 0ebe09: Moved new book to the proper (sub)directory

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 0ebe09cad6a1481aae0251a441ee30f536617db0
https://github.com/acl2/acl2/commit/0ebe09cad6a1481aae0251a441ee30f536617db0
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-06-28 (Sun, 28 Jun 2026)

Changed paths:
R books/projects/set-theory/closed-subspace-is-compact.lisp
A books/projects/set-theory/topology/closed-subspace-is-compact.lisp

Log Message:
-----------
Moved new book to the proper (sub)directory



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

[acl2buildserver]

Branch: refs/heads/testing