Index of /classes/cs480/aima-core/bin/aima/core/logic/fol/inference/otter/defaultimpl

	Name	Last modified	Size	Description
	Parent Directory		-
	DefaultClauseFilter...>	2016-09-04 16:54	808
	LightestClauseSorter..>	2016-09-04 16:54	1.4K
	DefaultClauseSimplif..>	2016-09-04 16:54	1.9K
	DefaultLightestClaus..>	2016-09-04 16:54	1.9K