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

;; name: babak-with-cannon.gc
;; name in dgo: babak-with-cannon
;; dgos: BEA, L1, MIS