Wed Apr 27 19:31:18 UTC 2005 mantoniotti
* Added unification.asd file.
addfile ./unification.asd
hunk ./unification.asd 1
+;;; -*- Mode: Lisp -*-
+
+;;; unification.asd --
+;;; ASDF system file.
+
+(asdf:defsystem unification
+ :author "Marco Antoniotti"
+ :serial t
+ :components ((:file "unification-package")
+ (:file "variables")
+ (:file "substitutions")
+ (:file "lambda-list-parsing")
+ (:file "templates-hierarchy")
+ (:file "unifier")
+ (:file "match-block")))
+
+;;; end of file -- unification.asd --