Complete re-organization into separate modules

build.sbt

lisa-examples/src/main/scala/Example.scala

...el/src/main/scala/lisa/kernel/fol/CommonDefinitions.scala

...l/src/main/scala/lisa/kernel/fol/EquivalenceChecker.scala

lisa-kernel/src/main/scala/lisa/kernel/fol/FOL.scala

...l/src/main/scala/lisa/kernel/fol/FormulaDefinitions.scala

.../main/scala/lisa/kernel/fol/FormulaLabelDefinitions.scala

...kernel/src/main/scala/lisa/kernel/fol/Substitutions.scala

...rnel/src/main/scala/lisa/kernel/fol/TermDefinitions.scala

...src/main/scala/lisa/kernel/fol/TermLabelDefinitions.scala

lisa-kernel/src/main/scala/lisa/kernel/proof/Judgement.scala

...rnel/src/main/scala/lisa/kernel/proof/RunningTheory.scala

lisa-kernel/src/main/scala/lisa/kernel/proof/SCProof.scala

...nel/src/main/scala/lisa/kernel/proof/SCProofChecker.scala

...el/src/main/scala/lisa/kernel/proof/SequentCalculus.scala

...es/src/main/scala/lisa/settheory/AxiomaticSetTheory.scala

.../src/main/scala/lisa/settheory/SetTheoryDefinitions.scala

...ies/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala

...ries/src/main/scala/lisa/settheory/SetTheoryZAxioms.scala

...ies/src/main/scala/lisa/settheory/SetTheoryZFAxioms.scala