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