• Alexander Weigl's avatar
    Refactoring; Contrapositon works! · 0c1e07d3
    Alexander Weigl authored
    * remove errorstate and abstractstate
    * parameterization of interpreter (related) classes
    * interpreter.data package
    * finished Rule and ProofScriptCommandBuilder
    * VariableAssignment use Variable as key data type
    * Contrapositon as test case
    0c1e07d3
pom.xml 7.46 KB