/* timeout.h                  Copyright (C) 1997 Codemist Ltd */

/* Signature: 215705d0 31-May-1997 */

#ifndef header_timeout_h
#define header_timeout_h 1

/*
 * This is used to create a version of CSL (and hence REDUCE) that is
 * subject to a certification mechanism that can allow a single set of
 * binaries to serve either as a demonstration version or as a full one.
 */


#endif /* header_timeout_h */

/* end of timeout.h */
