(* Title:  collect all defitions for the program language

    Author: Walther Neuper 100831

    (c) due to copyright terms

  *)

 theory ProgLang imports Isac

 uses ("../library.sml")

      ("../calcelems.sml")

      ("scrtools.sml")

      ("termC.sml") 

      ("calculate.sml")

      ("rewrite.sml")

 begin

 (*???

   ML {*"%%%%%%%%%%%%%%%%% start ProgLang.thy %%%%%%%%%%%%%%%%%%%";*}

   use "../library.sml"

   use "../calcelems.sml"           

   use "termC.sml"                  

   use "calculate.sml"              

   use "rewrite.sml"                

 (*use "listg.sml"                    *)

 (*use "scrtools.sml"                 *)

 (*use"tools.sml"                     *)

   ML {*"%%%%%%%%%%%%%%%%% end ProgLang.thy %%%%%%%%%%%%%%%%%%%%%";*}

 *)

 end