Workspace of logicmoo_workspace on Built-In Node

	clausefilter	Sep 28, 2021, 9:41:26 AM	73 B
	clausefilter.old	Sep 28, 2021, 9:41:26 AM	261.65 KiB
	e_axfilter	Sep 28, 2021, 9:41:26 AM	516.88 KiB
	epclextract	Sep 28, 2021, 9:41:26 AM	237.61 KiB
	eproof	Sep 28, 2021, 9:41:26 AM	3.38 KiB
	eprover	Sep 28, 2021, 9:41:26 AM	892.67 KiB
	fofshared	Sep 28, 2021, 9:41:26 AM	299.96 KiB
	fofshared.c	Sep 28, 2021, 9:41:26 AM	8.29 KiB
	fofshared.trms2	Sep 28, 2021, 9:41:26 AM	410.91 KiB
	GetSymbols	Sep 28, 2021, 9:41:26 AM	149.70 KiB
	interpfilter	Sep 28, 2021, 9:41:26 AM	261.41 KiB
	interpformat	Sep 28, 2021, 9:41:26 AM	265.69 KiB
	ladr_to_tptp	Sep 28, 2021, 9:41:26 AM	362.59 KiB
	mace4	Sep 28, 2021, 9:41:26 AM	298.81 KiB
	NumberVars	Sep 28, 2021, 9:41:26 AM	799.31 KiB
	paradox	Sep 28, 2021, 9:41:26 AM	3.01 MiB
	prdx2p9.pl	Sep 28, 2021, 9:41:26 AM	3.16 KiB
	prdxprep.pl	Sep 28, 2021, 9:41:26 AM	2.67 KiB
	runepar.pl	Sep 28, 2021, 9:41:26 AM	22.12 KiB
	runparadox	Sep 28, 2021, 9:41:26 AM	42 B
	runparadox1	Sep 28, 2021, 9:41:26 AM	87 B
	runwtlcached	Sep 28, 2021, 9:41:26 AM	1.07 KiB
	runwtlimit	Sep 28, 2021, 9:41:26 AM	105 B
	snow	Sep 28, 2021, 9:41:26 AM	717.72 KiB
	SPASS	Sep 28, 2021, 9:41:26 AM	479.07 KiB
	SPASS37	Sep 28, 2021, 9:41:26 AM	689.45 KiB
	tptp_to_ladr	Sep 28, 2021, 9:41:26 AM	362.78 KiB
	tptp4X	Sep 28, 2021, 9:41:26 AM	152.17 KiB
(all files in zip)