`Keywords.grm`

    %{
      static
        {
          Lexicon.reserved("Group");
          Lexicon.reserved("External");
          Lexicon.reserved("Exists");
          Lexicon.reserved("Forall");
          Lexicon.reserved("Or");
          Lexicon.reserved("And");
        }
    %}

This file was generated on Tue Oct 07 10:36:16 CEST 2008 from file `Keywords.grm`
by the `ilog.language.tools.Hilite` Java tool written by Hassan Aït-Kaci