Index of /afs/cs.cmu.edu/project/ai-repository/ai/lang/prolog/impl/other/goedel/v1_4

	Name	Last modified	Size	Description
	Parent Directory		-
	0.lst	1994-07-15 11:53	555
	goedel.ltv	1994-07-15 11:53	16K
	goedel.tgz	1994-06-12 19:56	441K
	linux.ltv	1994-07-15 11:53	3.4K
	linux.tgz	1994-06-12 19:52	820K
	readme.txt	1994-06-12 19:51	1.3K
	sparc1.ltv	1994-07-15 11:53	1.6K
	sparc1.tgz	1994-06-12 19:53	390K
	sparc2.ltv	1994-07-15 11:53	1.3K
	sparc2.tgz	1994-06-12 19:54	528K
	sparc3.ltv	1994-07-15 11:53	273
	sparc3.tgz	1994-06-12 19:55	690K