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

;; name: citb-plat.gc
;; name in dgo: citb-plat
;; dgos: CIT, L1