Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 1998-08-04 17:00:04 -0700 (Tue, 04 Aug 1998) Revision: 2406 Log message:
Tptp_cache is using fun_splay_set.