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

;; name: plat-flip.gc
;; name in dgo: plat-flip
;; dgos: JUB, L1