;;; -*- Mode:LISP; Package:USER; Base: 10. -*-
;; System declaration for LMI system for system 99 for Lambdas.
;; This is for LMI patches that have yet to be merged with MIT's.

(DEFSYSTEM LMI-System
  (:NAME "LMI-System")
  (:SHORT-NAME "LMI")
  (:PATCHABLE "SYS:PATCH;" "LMI-System")
  )