;;; loader for unifier, etc.

(load "parse.s")
(load "subst.s")
(load "tactics.s")
(load "unify.s")
(load "beta.s")
(load "rules.s")
(load "alpha-congruence.s")
(load "compiler.s")

(define display*
  (lambda l
    (cond ((null? l) #t)
      (else (display (car l))
            (printf "~%")
            (apply display* (cdr l))))))

(define display*
  (lambda l
    (cond ((null? l) #t)
      (else (pretty-print (car l))
            (apply display* (cdr l))))))