Index of /pub/Otter/33-basic/robbins

	Name	Last modified	Size	Description
	Parent Directory		-
	README	1996-06-21 15:44	726
	lemma1.in	1996-06-21 15:37	459
	lemma1.proof	1996-06-21 15:38	5.2K
	lemma2.in	1996-06-21 15:23	447
	lemma2.proof	1996-06-21 15:27	5.5K