;;;-*- Mode: Lisp; Package: COMMON-LISP-USER -*-

(cl:in-package :cl-user)

(defvar *highly-optimized*
  '(optimize (speed 3) (safety 0) (space 0)))

(require :fsa-basics)
(require :fsa-calculus)
(require :standard-symbols)
(require :standard-states)
(require :list-sets)
(require :skip-list)
(require :skip-list-relations)
(require :fsa-standard)