(* Title:  collect all defitions for the Lucas-Interpreter

    Author: Walther Neuper 110226

    (c) due to copyright terms

  *)

 theory Interpret

 imports "../ProgLang/ProgLang"

 uses ("mstools.sml") ("ctree.sml") ("ptyps.sml") ("generate.sml")

      ("calchead.sml") ("appl.sml") ("rewtools.sml") ("script.sml")

      ("solve.sml") ("inform.sml") ("mathengine.sml")

 begin

   use "mstools.sml"

   use "ctree.sml"

   use "ptyps.sml"

   use "generate.sml"

   use "calchead.sml"

   use "appl.sml"

   use "rewtools.sml"

   use "script.sml"

   use "solve.sml"

   use "inform.sml"

   use "mathengine.sml"

 end