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

;; name: hal2-course.gc
;; name in dgo: hal2-course
;; dgos: SEB, SWB

;; DECOMP BEGINS