


          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.
