onestep

Synopsis: onestep;

Description:

This amcro applies one proof step. The applied proof rule is chosen from KeY's automatic startegies.

Arguments:

No arguments required