-
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