../ Vect/Define Any/All quantifiers for Vect14 years ago Bits.idrFix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that.13 years ago BoundedList.idrUpdated bounded lists14 years ago Mod2.idrComment out most of Data.Bits and Data.Mod2 Since they rely on a bug in the unifier!13 years ago Morphisms.idrRemove "return" from Monad13 years ago Sign.idrAdd inductive integers14 years ago SortedMap.idrRenamed Map and Set to SortedMap and SortedSet14 years ago SortedSet.idrRenamed Map and Set to SortedMap and SortedSet14 years ago Z.idrAdd inductive integers14 years ago