TFILES =  \
	ContradictionHandler.java \
	Datum.java \
	DBClass.java \
	Fact.java \
	FactFetcher.java \
	InternalRule.java \
	JTMS.java \
	JTMSTest.java \
	JTRE.java \
	JTRETest.java \
	Justification.java \
	Node.java \
	Rule.java \
	RuleApplication.java \
	Thunk.java

TAGENTS = 

TIMPLS = 

GFILES = 