Package theory - Namespaces

• Theory.General

  A module with general theoremss
• Theory.List
• Theory.List1
• Theory.Tuple
• Theory

  A module reexporting various theorems