;;-*-Lisp-*-
(in-package goal)
;; name: tomb-obs.gc
;; name in dgo: tomb-obs
;; dgos: TOA
;; DECOMP BEGINS