PROBCORE-404 v 1.0.2 Refactored some Theory elements and implemented basic TheoryTranslator. NOT YET TESTED.
PROBCORE-404 v 1.0.3 Theories SHOULD work. Tested for Data and MathExtension theory projects. Fixed some null pointer exceptions.
PROBCORE-404 v 1.0.4 removed old theory translator and test because they are now obsolete.
PROBCORE-404 v 1.0.5 Finished extracting basic info for proofs.