;;-*-Lisp-*-
(in-package goal)
;; name: maincave-obs.gc
;; name in dgo: maincave-obs
;; dgos: L1, MAI, MAINCAVE