Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-08 13:51:02 -0800 (Fri, 08 Jan 1999)
Revision: 2564
Log message:
This is the version of the distributed prover used in the
CADE-16 original paper. I'm still adjusting it though, so
that we can use term_ds and native-code.
If any of you have problems compiling clib/mmap.c, let me know. It
should compile on Linux and Win32, but we should put in stubs
if there are problems on other systems.