Skip to content

Add NAME_ASSUMS_TAC and PRINT_GOAL_TAC, improve error messages of a few decision procedures #9

Add NAME_ASSUMS_TAC and PRINT_GOAL_TAC, improve error messages of a few decision procedures

Add NAME_ASSUMS_TAC and PRINT_GOAL_TAC, improve error messages of a few decision procedures #9