Timestamp:
Aug 7, 2025, 11:23:26 AM (7 weeks ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
1bd2bff
Parents:
f0daaeb
Message:

restructure forall clauses for dlist

(No files)

Note: See TracChangeset for help on using the changeset viewer.