;; /tmp/bigloo/bdl/src
;; Fri Jul 11 16:51:16 2003

(
  (__bdl_env "bigloo.bdl.env")
  (__bdl_types "bigloo.bdl.types")
  (__bdl_prgm "bigloo.bdl.prgm")
  (__bdl_misc "bigloo.bdl.misc")
  (__bdl_etags "bigloo.bdl.etags")
)

