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

    Author: Walther Neuper 110226

    (c) due to copyright terms

  *)

 theory Interpret imports 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