Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/workshops/2004/legato/support

	Name	Last modified	Size	Description
	Parent Directory		-
	nqthm/	2014-08-04 08:29	-
	Makefile.gz	2010-09-20 19:29	475
	proof-by-generalization-sum.lisp.gz	2010-09-20 19:29	803
	generic-theory-loop-invariant-sum.lisp.gz	2010-09-20 19:29	844
	Readme.lsp.gz	2010-09-20 19:29	901
	generic-theory-alternative-induction-sum.lisp.gz	2010-09-20 19:29	1.2K
	generic-theory-tail-recursion-sum.lisp.gz	2010-09-20 19:29	1.3K
	proof-by-generalization-mult.lisp.gz	2010-09-20 19:29	1.6K
	generic-theory-loop-invariant-mult.lisp.gz	2010-09-20 19:29	1.9K
	generic-theories.lisp.gz	2010-09-20 19:29	2.9K
	generic-theory-alternative-induction-mult.lisp.gz	2010-09-20 19:29	3.0K
	generic-theory-tail-recursion-mult.lisp.gz	2010-09-20 19:29	3.3K