D/CVS////
/ex3.pat/1.1/Thu Jun 12 13:36:00 2003//
/ex3.pat~/1.1/Thu Jun 12 13:36:00 2003//
/ex3.readme/1.1/Thu Jun 12 13:36:00 2003//
/ex3.readme~/1.1/Thu Jun 12 13:36:00 2003//
/ex3.result/1.1/Thu Jun 12 13:36:00 2003//
/ex3.seq/1.1/Thu Jun 12 13:36:00 2003//
