darcs - cl-unification

drwxrwxr-x	4K	docs/	history \| tree
drwxrwxr-x	4K	lib-dependent/	history \| tree
drwxrwxr-x	4K	test/	history \| tree
-rw-rw-r--	0	.clbuild-skip-update	history \| headblob \| annotate
-rw-rw-r--	330	ACKNOWLEDGEMENTS	history \| headblob \| annotate
-rw-rw-r--	1017	COPYING	history \| headblob \| annotate
-rw-rw-r--	21K	ChangeLog	history \| headblob \| annotate
-rw-rw-r--	627	INSTALLATION	history \| headblob \| annotate
-rw-rw-r--	351	README	history \| headblob \| annotate
-rw-r--r--	9	TIMESTAMP	history \| headblob \| annotate
-rw-rw-r--	2K	apply-substitution.lisp	history \| headblob \| annotate
-rw-rw-r--	401	cl-unification-lib.asd	history \| headblob \| annotate
-rw-r--r--	883	cl-unification-test.asd	history \| headblob \| annotate
-rw-rw-r--	2K	cl-unification.asd	history \| headblob \| annotate
-rw-rw-r--	802	cl-unification.system	history \| headblob \| annotate
-rw-rw-r--	13K	lambda-list-parsing.lisp	history \| headblob \| annotate
-rw-rw-r--	14K	match-block.lisp	history \| headblob \| annotate
-rw-rw-r--	6K	substitutions.lisp	history \| headblob \| annotate
-rw-rw-r--	2K	template-reader.lisp	history \| headblob \| annotate
-rw-rw-r--	15K	templates-hierarchy.lisp	history \| headblob \| annotate
-rw-rw-r--	1K	unification-package.lisp	history \| headblob \| annotate
-rw-rw-r--	34K	unifier.lisp	history \| headblob \| annotate
-rwxrwxr-x	170	upload	history \| headblob \| annotate
-rw-rw-r--	712	variables.lisp	history \| headblob \| annotate