Positionnement sur une autre obligation de preuve sans sauvegarde de la preuve courante
gw(f.n)
avec :
Cette commande permet d’aller à l’obligation de preuve f.n, en abandonnant sans sauvegarde le
travail de preuve sur l’obligation de preuve courante.
Si f n’est pas une opération ou une clause ou si n n’est pas un bon numéro, la commande ne
s’exécute pas.
La PO test.Initialisation.1 a été prouvée. L’opérateur peut désirer ne pas sauvegarder le travail
de preuve interactive réalisé.
L’opérateur se déplace sur la PO test.Initialisation.2, sans sauvegarde.
PRI> gw(Initialisation.2) Skipping without saving to Initialisation.2 Current PO : Initialisation.2
|