changed the directory structure
Minor corrections to Circular_Array_Realiz for Queue_Template
added Integer_Theory uses to Static_Array, commented out problematic ensures clause in Location_Linking_Template_1.co
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
changed all theory files to start with precis rather than theory
Added Globally_Bounded_List_Template and an associatated flip enhancement/realization.  Added theorems to Integer_Theory and made Stack_Template import them.
Array_Realiz of Stack proving and some progress on Selection_Sort of Queues.
changed Static_Arrays back to the way it was; Removed all usages of Std Facilities