Index of /pub/ATP_problems/algebra/lattices

	Name	Last modified	Size	Description
	Parent Directory		-
	SAMslemma.ver1.out	1990-03-24 10:47	4.5K
	SAMslemma.ver1.in	1990-03-24 10:47	4.1K
	SAMslemma.ver1.clauses	1990-03-24 10:47	4.2K
	SAMslemma.desc	1990-03-24 10:47	3.3K
	README	1990-03-24 10:47	1.7K