Ignore:
Timestamp:
Nov 11, 2010, 4:56:59 PM (10 years ago)
Author:
mulligan
Message:

Lots of work from today. Writing bitvector library is harder than it
looks. Not quite sure what Matita has done with `pad'?

File:
1 edited

Legend:

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