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

;; name: spiderwebs.gc
;; name in dgo: spiderwebs
;; dgos: L1, MAI, MAINCAVE