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

    Author: Walther Neuper 110226

    (c) due to copyright terms

  *)

 theory Interpret imports Language

   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