../ Matrix/Change "class/instance" keywords11 years ago Nat/Change "class/instance" keywords11 years ago BoundedList.idrChange "class/instance" keywords11 years ago CoList.idrChange "class/instance" keywords11 years ago Fun.idrFix import public error11 years ago Graph.idrMove Graph.idr & Polyhedra.idr to contrib.12 years ago Hash.idrChange "class/instance" keywords11 years ago Heap.idrChange "class/instance" keywords11 years ago Matrix.idrSeparate numeric/algebraic matrix ops from basic matrix functions11 years ago Polyhedra.idrMove Graph.idr & Polyhedra.idr to contrib.12 years ago Rel.idrInitial reorganization into contrib12 years ago Sign.idrChange "class/instance" keywords11 years ago SortedMap.idrChange "class/instance" keywords11 years ago SortedSet.idrChange "class/instance" keywords11 years ago String.idrUpdate String.idr12 years ago ZZ.idrSome trivial renamings11 years ago