Timestamp:
Nov 24, 2023, 4:08:24 PM (2 years ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master, stuck-waitfor-destruct
Children:
6a1f553
Parents:
3c4003b9
Message:

Slight improvement to forall clause erasing.

(No files)

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