perm filename RESOLV[3,2] blob sn#399564 filedate 1978-12-04 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
CāŠ—;

	RESOLV is a resolution-based theorem prover.   Information may be
obtained from JRA or DCL.

04-Dec-78  1943
Filnam Ext   PPN    Size  Written  Time Pro    Writer     Reference      Dumped    

RESOLV DMP   1  3   44.9 14-May-75 1546 000   PJRA PROVER 26-Nov-78 05-Jul-75 P528>