CurryInfo: property-prover-2.0.0 / TransState: all operations

addToAssertion addVarTypes cAssertion emptyTransState freshVar getAssertion getFreshVar getFreshVarIndex getVarTypes incFreshVarIndex makeTransState setAssertion setFreshVarIndex setNameOfVars varTypes