benjishults/bitnots

redo intern tables and associate them with theories

benjishults opened this issue · 0 comments

benjishults commented

redo intern tables and associate them with theories

Then the theory will have factories for formulas and terms.