Merge pull request #4 from yushan87/private

some line ending problem
Merge pull request #5 from yushan87/private

fixed line endings
Merge pull request #6 from yushan87/private

changed the directory structure
Minor corrections to Circular_Array_Realiz for Queue_Template
all commits
Merge remote-tracking branch 'upstream/master'
added Integer_Theory uses to Static_Array, commented out problematic ensures clause in Location_Linking_Template_1.co
Merge pull request #7 from mikekab/master

Minor changes - gets the Int_Do_Nothing_Example.fa to translate
Changes to make Array_Realiz compile.
Merge pull request #8 from hamptonsmith/master

Changes to make Array_Realiz compile.
Replaced Modified_String_Theory References with String Theory
Removed old String_Theory
Renamed Modified_String_Theory to String_Theory
Removed Is_Initial Definition from Static_Array_Template.co since it is hardcoded
Merge pull request #9 from mikekab/master

Modified_String theory is now String_Theory, old String_Theory.mt was removed
changed all theory files to start with precis rather than theory