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
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...
Array_Realiz of Stack proving and some progress on Selection_Sort of Queues.
Merge pull request #13 from hamptonsmith/master

Random changes.  #uselesscommitmessage
changed Static_Arrays back to the way it was; Removed all usages of Std Facilities
Merge pull request #14 from yushan87/bug-fix

changed Static_Arrays back to the way it was; Removed all usages of Std ...