Sometimes we want to parse a specification or morphism (or
interpretation) but postpone verification for later. We may have
chosen No under the option Verify Parsed
Theorems? or Verify parsed axiom
translation under the toolbar
item Customize
(
.
Alternatively, we may have verified the specification or morphism but
not proved some of the conjectures that arose. In either case, we may
verify the remaining conjectures at any time.