Download VeriFun User Guide

File
About File
The File Menu provides all commands
• to reset the system state,
• to load and store data hold in files,
• to alter the system parameters, and
• to terminate the system.
Commands are selected from the menu bar or from the context menu.
XeriFun supports two file types, viz. vf-files and fp-files:
vf-files store the whole system state, i.e. the state which results from the
user definitions of a program plus the prooftrees of the lemmas, the termination hypotheses and the recursion elimination formulas in this program. vf-files can be created and processed by eriFun only. vf-files
carry the extension .vf and are the primary input/output medium of
eriFun.
X
X
fp-files store the user definitions of a program (plus some technical data
for maintaining the folder structure of the program) in plain ASCII. All
prooftrees in this program are skipped when writing fp-files. fp-files can
be created and processed by eriFun or alternatively by each conventional ASCII-editor. fp-files carry the extension .fp and are used for system development. Users may create fp-files to look at a program as a
whole in some editor of their choice.
X
29