Test - opentheory-transform - Opentheory proof trace optimizer

Mode	Name	Size
-rw-r--r--	DataTypes.hs	1168	log plain
-rw-r--r--	absterm.art	108	log plain
-rw-r--r--	absthm.art	95	log plain
-rw-r--r--	appterm.art	146	log plain
-rw-r--r--	appthm.art	155	log plain
-rw-r--r--	assume.art	55	log plain
-rw-r--r--	axiom.art	58	log plain
-rw-r--r--	betaconv.art	119	log plain
-rw-r--r--	cons.art	23	log plain
-rw-r--r--	const.art	13	log plain
-rw-r--r--	constterm.art	48	log plain
-rw-r--r--	deductantisym.art	81	log plain
-rw-r--r--	def.art	31	log plain
-rw-r--r--	defineconst.art	61	log plain
-rw-r--r--	definetypeop.art	173	log plain
-rw-r--r--	eqmp.art	187	log plain
-rw-r--r--	name.art	7	log plain
-rw-r--r--	name2.art	5	log plain
-rw-r--r--	nil.art	4	log plain
-rw-r--r--	null.art	0	log plain
-rw-r--r--	number.art	3	log plain
-rw-r--r--	opType.art	25	log plain
-rw-r--r--	pop.art	8	log plain
-rw-r--r--	ref.art	37	log plain
-rw-r--r--	refl.art	39	log plain
-rw-r--r--	remove.art	40	log plain
-rw-r--r--	subst.art	273	log plain
-rw-r--r--	thm.art	114	log plain
-rw-r--r--	timer.sh	60	log plain
-rw-r--r--	typeop.art	14	log plain
-rw-r--r--	var.art	26	log plain
-rw-r--r--	varterm.art	34	log plain
-rw-r--r--	vartype.art	15	log plain