Merge pull request #11 from yushan87/master

Changed from "Theory" to "Precis"
Added Globally_Bounded_List_Template and an associatated flip enhancement/realization.  Added theorems to Integer_Theory and made Stack_Template import them.
Merge pull request #12 from hamptonsmith/changes

Added Globally_Bounded_List_Template and an associatated flip enhancemen...