ClemsonRSRG/RESOLVE-Workspace — pull request #12 by hamptonsmith (2013-02-18 19:32:48+00:00)
Title: Added Globally_Bounded_List_Template and an associatated flip enhancemen...

...t/realization. Added theorems to Integer_Theory and made Stack_Template import them.