Merge pull request #2 from wimmers/master

Tuned Algebra_Stuff
Tuned imports
Base on HOL-Number_Theory session
Texify theory files
Ignore Isabelle's output folder
Remove nonexistant theory from ROOT file
cleanup
add include for \mathbb tex command
tuned text
added hint
Tuned some Latex text