[acl2/acl2] 73c417: Tweaked theorem about a set of HOL values to be ab...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 73c417ec3457dc8be4974600e678cbddbfd63697
https://github.com/acl2/acl2/commit/73c417ec3457dc8be4974600e678cbddbfd63697
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)

Changed paths:
A books/projects/hol-in-acl2/acl2/hpp-set.lisp
R books/projects/hol-in-acl2/acl2/set-of-hol-values.lisp

Log Message:
-----------
Tweaked theorem about a set of HOL values to be about a set of HOL value pairs.



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

[acl2buildserver]

Branch: refs/heads/testing