Index of /~moore/acl2/older-releases/v3-1/distrib/acl2-sources/books/workshops/1999/ivy/ivy-v2/ivy-sources/examples

	Name	Last modified	Size	Description
	Parent Directory		-
	test-all.gz	2000-02-21 15:23	289
	steam.gz	1999-07-04 12:24	338
	steam-x.gz	1999-07-04 12:26	378
	otter-cn.output.gz	2000-02-21 15:22	5.6K
	otter-cn.input.gz	2000-02-21 13:34	560
	lifsch.gz	1999-07-04 12:24	194
	group-x2.gz	1999-07-04 12:22	171
	group-x2-refute.gz	1999-07-04 12:23	181
	group-noncomm.gz	1999-07-04 12:21	187
	group-noncomm-model.gz	1999-07-04 12:21	182
	group-comm.gz	1999-07-04 12:19	209
	comb-sw-not-weak.gz	1999-07-04 12:11	193
	comb-sk-w.gz	1999-07-04 12:38	197
	cd-cn19.gz	1999-07-04 12:18	222
	README.gz	2000-02-21 13:36	555