-
Andrei Paskevich authored
cloned axioms are now subject to the same sanity checks as user-written axioms, and this is probably a good thing
9473d725
cloned axioms are now subject to the same sanity checks as user-written axioms, and this is probably a good thing