ClemsonRSRG/RESOLVE-Workspace — pull request #16 by yushan87 (2013-10-03 19:06:32+00:00)
Title: fixes for Murali for his SPLASH demo and class

1) Added missing uses items
2) Added numbers 0-9 in Integer_Theory
3) reformatted the tabs in the file