Index of /~alspaugh/cls/shr/formulaVisited

	Name	Last modified	Size	Description
	Parent Directory		-
	Conjunction.java	2005-04-09 17:00	570
	Disjunction.java	2005-04-09 23:16	569
	Environment.java	2009-04-25 18:28	965
	Factory.java	2009-04-29 17:27	6.8K
	Formula.java	2005-04-11 02:55	496
	LogicalConstant.java	2005-04-11 00:43	1.0K
	LogicalVariable.java	2005-04-09 17:03	390
	Named.java	2005-04-09 17:03	935
	Negation.java	2005-04-09 17:03	369
	Visitor.java	2005-04-11 02:02	852
	VisitorEvaluate.java	2009-04-29 17:16	3.1K
	VisitorToString.java	2005-04-11 02:05	794
	package.html	2005-04-09 17:11	126