Make sure names are not defined more than once
Fixes issue #124
Add %instance for explicit access to resolveTC tactic
flooring log2 for Nats
Primitives for interconversion of Bits32 and Int
Verified numbers
Beginnings of generic machine integer support
Resolve implicit definition warnings relating to bitstrings
String primitives
Basic bit-twiddling primitives
Cast Int (Bits n) instance
Strongly-typed bits
Access qualifiers for Modulo
Show instance for Modulo
Correct behavior of operations on non-native bit widths
Replace general modulo type with modulo 2^n type
Cast instances for Mod2 <=> Bits and Int => Bits
Machine integer comparison primitives and a proofy interface to the equality case
Compile on GHC 7.0
Transitivity of equality
Modify documentation comment parsing