@begin(header)
author: ackerman@ics.uci.edu
show_author: ShowNone
author_organization: MIT
node_expert: ackerman=ag@ics.uci.edu
expiration_date: 08/16/93
last_modifier: ackerman@ics.uci.edu
last_mod_date: 08/16/91
mod_num: 1
@end(header)
@b(X Definitions)

Would you like to know about
@button(general definitions,Info_Definitions)
