;;-*-Lisp-*-
(in-package goal)

;; name: mech.gc
;; name in dgo: mech
;; dgos: DRILLMTN, UNB, RUI

;; DECOMP BEGINS