Classes 
AlgSimp
BoolRewriter
BoolSimp
FileIO
InternalFrame
JPV
ListElem
ListOfSimpleNodes
ListOfSimpRules
ListOfSubstitutions
ListRule
OrdSimp
Rules
Simplifier
SimpRule
Substitution
VerifCondCreater