Changeset 531

Timestamp:
Feb 16, 2011, 3:27:39 PM (10 years ago)
Author:
campbell
Message:

Create temporary branch of D4.1 matita development to help integrate bitvectors
with C semantics.

File:
1 copied

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