Next:
Token Z= of cast
Up:
Category CLASS
Previous:
Token ATOM= of cast
Token NEWNAM= of cast logical
T: The program is allowed to change the names of the atoms.
O. Jepsen
Thu Oct 12 14:48:45 MESZ 2000
