Changeset 2716 for src/utilities

Timestamp:
Feb 23, 2013, 1:03:15 AM (7 years ago)
Author:
sacerdot
Message:

utilities/deqsets.ma => utilities/deqsets_extra.ma for extraction

File:
1 moved

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