;;-*-Lisp-*-
;; GOAL Data Description File

;; name: whirlpool-ag.gd
;; name in dgo: whirlpool
;; dgos: SUN