[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Change theorem name




If by mistake I change a theorem name how can I recover the prove?

How can I change a theorem name without losting the prove?

There is any emacs command for change the theorem name?