../ Vect/New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago Bits.idrWhitespace cleanup.13 years ago BoundedList.idrNew module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago HVect.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago Mod2.idrMore Integer fixups13 years ago Morphisms.idrWhitespace cleanup.13 years ago Sign.idrAdd inductive integers14 years ago SortedMap.idrNew module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago SortedSet.idrNew module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago Vect.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago ZZ.idrrename O into Z13 years ago