Updated Theories (markdown)
removed unneeded "header"
java syntax highlighting
Created Theories (markdown)