Index of /~leavens/ComS641-Hesselink/lectures/predicate-calculus

	Name	Last modified	Size	Description
	Parent Directory		-
	Outline-files.txt	1994-09-10 14:33	127
	calculations.txt	1994-09-10 14:35	3.0K
	quantified-expressions.txt	1994-10-05 16:42	11K
	boolean-operators.txt	2002-03-10 16:22	5.2K