/ARCH.c/1.13/Tue Sep 11 16:55:14 2012//
/ERREURS.c/1.10/Fri Dec 19 08:52:45 2003//
/FILES.c/1.6/Wed Nov 25 13:58:45 2009//
/HEADER.c/1.10/Wed Feb 18 07:31:37 2004//
/INTERFACE.c/1.32/Tue Sep 11 17:43:35 2012//
/LISTS.c/1.6/Thu Jul 19 10:49:29 2007//
/MATHS.c/1.1/Thu Jul 19 10:44:36 2007//
/SYMBOLS.c/1.10/Wed Nov 25 13:59:19 2009//
/TIMES.c/1.2/Wed Nov 25 13:58:12 2009//
D
