;; Load this to run all 5-am tests written
(load "boot")
(dolist (f '("5am-monom" 
	     "5am-poly" 
	     "5am-symbolic-poly" 
	     "5am-infix-print" 
	     "5am-pair-queue"
	     "5am-division"
	     "5am-buchberger"))
  (load f))