To do #7728
Refactor theory refinement code
Status:
New
Priority:
Normal
Assignee:
-
Start date:
21/08/2018
Due date:
% Done:
0%
Estimated time:
Description
Code related to theory refinement should be refactored/simplfied.
Karine should have some version prepared.