ClemsonRSRG/RESOLVE — pull request #63 by yushan87 (2013-09-05 16:32:15+00:00)
Title: commented out syntatic sugar for Integer_Template

took the syntactic sugar replacements for now...