test - opentheory-transform - Opentheory proof trace optimizer

Mode	Name	Size
-rw-r--r--	absterm.art	108	log plain
-rw-r--r--	absthm.art	109	log plain
-rw-r--r--	appterm.art	171	log plain
-rw-r--r--	appthm.art	182	log plain
-rw-r--r--	assume.art	63	log plain
-rw-r--r--	axiom.art	67	log plain
-rw-r--r--	betaconv.art	140	log plain
-rw-r--r--	cons.art	27	log plain
-rw-r--r--	const.art	15	log plain
-rw-r--r--	constterm.art	55	log plain
-rw-r--r--	deductantisym.art	94	log plain
-rw-r--r--	def.art	37	log plain
-rw-r--r--	defineconst.art	70	log plain
-rw-r--r--	definetypeop.art	201	log plain
-rw-r--r--	eqmp.art	224	log plain
-rw-r--r--	name.art	7	log plain
-rw-r--r--	name2.art	6	log plain
-rw-r--r--	nil.art	5	log plain
-rw-r--r--	null.art	0	log plain
-rw-r--r--	number.art	4	log plain
-rw-r--r--	opType.art	29	log plain
-rw-r--r--	pop.art	10	log plain
-rw-r--r--	ref.art	45	log plain
-rw-r--r--	refl.art	45	log plain
-rw-r--r--	remove.art	48	log plain
-rw-r--r--	subst.art	320	log plain
-rw-r--r--	thm.art	137	log plain
-rw-r--r--	timer.sh	57	log plain
-rw-r--r--	typeop.art	16	log plain
-rw-r--r--	var.art	30	log plain
-rw-r--r--	varterm.art	39	log plain
-rw-r--r--	vartype.art	17	log plain