Adding axioms
In order to add axioms press the "add axioms" button on
the main control panel. A new window should then pop up
(your window manager will probably ask you where to put it)
labelled "xmagic: add axioms". This window will have 18
predefined axioms written in it. There will be also empty
slots for 5 additional axioms which you can define yourself.
You can add an axiom by clicking on it. The selected
axiom will become highlighted. You can delete a selected
axiom by clicking on it again. The deletion of the axiom
will be marked by the axiom becoming unhighlighted.
In order to define your own axioms click on the "define
axiom" button. A new window will then appear labelled
"xmagic: define axiom". Type in the axiom in the window and
press any of the buttons in the bottom line with numbers 19
through 23 on them. The number of the button will define the
place of the axiom in the main "add axioms:" table. You can
then add this axiom in the same way as with the predefined
axiom. You can modify the difinition of any of the axioms 19
through 23 at any time. If you modify a selected axiom, it's
modified definition will be passed to MaGIC, and it will
remain selected, unless the definition was rejected by MaGIC
due to syntax errors.