[acl2/acl2] 046510: Tweaked the expander to avoid special handling of ...
0 views
Skip to first unread message
GitHub
Jan 10, 2017, 4:31:38 PM1/10/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 0465102099830f0a1be5787af9c09330b7ce6c22
https://github.com/acl2/acl2/commit/0465102099830f0a1be5787af9c09330b7ce6c22
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-01-10 (Tue, 10 Jan 2017)
Changed paths:
M books/misc/expander.lisp
Log Message:
-----------
Tweaked the expander to avoid special handling of top-level NOT, which was interfering with a use of it.
Home: https://github.com/acl2/acl2
Commit: 0465102099830f0a1be5787af9c09330b7ce6c22
https://github.com/acl2/acl2/commit/0465102099830f0a1be5787af9c09330b7ce6c22
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-01-10 (Tue, 10 Jan 2017)
Changed paths:
M books/misc/expander.lisp
Log Message:
-----------
Tweaked the expander to avoid special handling of top-level NOT, which was interfering with a use of it.
GitHub
Jan 10, 2017, 4:32:59 PM1/10/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages