r : int -> unit

SYNOPSIS
Reorders the subgoals on top of the subgoal package goal stack.

DESCRIBE
The function r is part of the subgoal package. It is an abbreviation for rotate. For a description of the subgoal package, see set_goal.

FAILURE
As for rotate.

USES
Proving subgoals in a different order to that generated by the subgoal package.

SEEALSO  b,   backup,   backup_limit,   e,   expand,   expandf,   g,   get_state,   p,   print_state,   rotate,   save_top_thm,   set_goal,   set_state,   top_goal,   top_thm

HOL  Kananaskis 0