D/dWGL////
D/diamond////
/automata.eps/1.1/Wed Aug  1 11:22:12 2001//
/automata.fig/1.1/Wed Aug  1 11:22:12 2001//
/comm.eps/1.1/Wed Aug  1 11:22:12 2001//
/comm.fig/1.1/Wed Aug  1 11:22:12 2001//
/handlers.eps/1.1/Wed Aug  1 11:22:12 2001//
/handlers.fig/1.1/Wed Aug  1 11:22:12 2001//
/member_state.eps/1.1/Wed Aug  1 11:22:12 2001//
/member_state.fig/1.1/Wed Aug  1 11:22:12 2001//
