Index of /~moore/acl2/older-releases/v3-0/distrib/acl2-sources/books/defexec/dag-unification

	Name	Last modified	Size	Description
	Parent Directory		-
	README.gz	2005-12-12 08:41	287
	Makefile.gz	2006-02-08 15:26	478
	dag-unification-st-examples.lsp.gz	2005-12-12 05:38	1.5K
	terms-dag-stobj.lisp.gz	2003-01-22 11:36	2.0K
	subsumption.lisp.gz	2005-12-07 14:59	3.7K
	dag-unification-l.lisp.gz	2005-12-11 13:51	4.1K
	matching.lisp.gz	2005-12-07 14:56	4.4K
	basic.lisp.gz	2006-01-20 08:44	4.5K
	subsumption-subst.lisp.gz	2003-05-25 14:28	5.1K
	dag-unification-st.lisp.gz	2005-12-12 05:25	8.1K
	list-unification-rules.lisp.gz	2005-12-07 15:19	9.7K
	terms.lisp.gz	2005-12-07 15:17	10K
	dags.lisp.gz	2005-12-07 15:29	11K
	dag-unification-rules.lisp.gz	2005-12-12 04:58	12K
	terms-as-dag.lisp.gz	2005-12-11 13:47	20K