Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/defexec/dag-unification

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile.gz	2010-09-20 19:29	69
	README.gz	2010-09-20 19:29	287
	basic.lisp.gz	2011-02-14 07:58	4.5K
	dag-unification-l.lisp.gz	2010-09-20 19:29	4.1K
	dag-unification-rules.lisp.gz	2010-09-20 19:29	12K
	dag-unification-st-examples.lsp.gz	2010-09-20 19:29	1.5K
	dag-unification-st.lisp.gz	2010-09-20 19:29	8.1K
	dags.lisp.gz	2010-09-20 19:29	11K
	list-unification-rules.lisp.gz	2010-09-20 19:29	9.7K
	matching.lisp.gz	2010-09-20 19:29	4.4K
	subsumption-subst.lisp.gz	2010-09-20 19:29	5.1K
	subsumption.lisp.gz	2010-09-20 19:29	3.7K
	terms-as-dag.lisp.gz	2010-09-20 19:29	20K
	terms-dag-stobj.lisp.gz	2010-09-20 19:29	2.0K
	terms.lisp.gz	2010-09-20 19:29	10K