Timestamp:
Nov 9, 2010, 3:27:30 PM (9 years ago)
Author:
mulligan
Message:

Conjunction, disjunction and 'xorjunction' implemented on bitvectors.
Lots of supporting datatypes. Vectors.ma includes some diabolical
dependent type hackery due to Wilmer.

File:
1 added

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