(autoload 'cafeobj-mode "cafeobj-mode" "CafeOBJ mode." t)
(autoload 'cafeobj "cafeobj-mode" "Run CafeOBJ interpreter." t)
(add-to-list 'auto-mode-alist '("\\.mod\\'" . cafeobj-mode))
(add-to-list 'auto-mode-alist '("\\.cafe\\'" . cafeobj-mode))