Refactoring to build a more re-usable tool for playing with GEB theorems.
Refactoring to build a more re-usable tool for playing with GEB theorems.
Refactoring to build a more re-usable tool for playing with GEB theorems.
Refactoring to build a more re-usable tool for playing with GEB theorems.
Refactoring to build a more re-usable tool for playing with GEB theorems.
Merge pull request #1 from nickckaye/refactoring

Refactoring complete