Remove unused newFacts and newObjects - #39

Remove unused newFacts and newObjects#39

PatrickMassot merged 1 commit into

PatrickMassot:masterPatrickMassot/verbose-lean4:masterfrom

impermeable:chore/cleanup-new-stuffimpermeable/verbose-lean4:chore/cleanup-new-stuffCopy head branch name to clipboard