DanGrayson/Ktheory — pull request #1 by benediktahrens (2014-02-16 11:02:27+00:00)
Title: To rc

move some trivial stuff to RC.
needs latest version of RC to compile.