-
David Hauzar authored
If these are set, the prover is asked for counter-example and if the counter-example is got, it is displayed.
f59f4b8d
If these are set, the prover is asked for counter-example and if the counter-example is got, it is displayed.