Check that no live class points at an obsolete class - #19

hoodcm wants to merge 1 commit into

Check that no live class points at an obsolete class#19
hoodcm wants to merge 1 commit into
mainfrom
live-class-referencing-obsolete-class

Check that no live class names an obsolete class in a logical axiom, and re-point the one that does