Index of /pub/Otter/LT-WAL

	Name	Last modified	Size	Description
	Parent Directory		-
	theorem-3.out	1995-03-06 15:28	78K
	lemma-5b.out	1995-03-06 15:28	55K
	theorem-3.proof	1995-03-06 15:28	55K
	theorem-2.out	1995-03-06 15:28	40K
	lemma-5a.out	1995-03-06 15:28	36K
	theorem-1.out	1995-03-06 15:28	30K
	theorem-2.proof	1995-03-06 15:28	28K
	theorem-1.proof	1995-03-06 15:28	15K
	lemma-4.out	1995-03-06 15:28	14K
	lemma-1.out	1995-03-06 15:28	10K
	lemma-3.out	1995-03-06 15:28	8.3K
	lemma-2.out	1995-03-06 15:28	6.3K
	lemma-4.cooked	1995-03-06 15:28	4.2K
	lemma-4.proof	1995-03-06 15:28	3.4K
	build-20.out	1995-03-06 15:28	2.8K
	build-16.out	1995-03-06 15:28	2.5K
	build-19.out	1995-03-06 15:28	2.5K
	lemma-5b.proof	1995-03-06 15:28	2.4K
	lemma-5a.proof	1995-03-06 15:28	2.3K
	lemma-3.cooked	1995-03-06 15:28	2.1K
	lemma-1.cooked	1995-03-06 15:28	2.0K
	lemma-3.proof	1995-03-06 15:28	1.7K
	lemma-2.proof	1995-03-06 15:28	1.6K
	lemma-2.cooked	1995-03-06 15:28	1.5K
	lemma-1.proof	1995-03-06 15:28	1.4K
	lemma-3.in	1995-03-06 15:28	1.0K
	theorem-3.in	1995-03-06 15:28	1.0K
	theorem-1.in	1995-03-06 15:28	1.0K
	theorem-2.in	1995-03-06 15:28	972
	lemma-4.in	1995-03-06 15:28	866
	lemma-5b.in	1995-03-06 15:28	737
	lemma-5a.in	1995-03-06 15:28	709
	README	1995-03-06 15:28	692
	lemma-1.in	1995-03-06 15:28	629
	lemma-2.in	1995-03-06 15:28	578
	build-16.in	1995-03-06 15:28	571
	build-19.in	1995-03-06 15:28	542
	build-20.in	1995-03-06 15:28	317