(* Title:  collect all defitions for the Frontend

    Author: Walther Neuper 110226

    (c) due to copyright terms

  *)

 theory Frontend imports xmlsrc

   uses ("messages.sml") ("states.sml") ("interface.sml")

        ("../print_exn_G.sml")

 begin

   use "messages.sml"

   use "states.sml"

   use "interface.sml"

   use "../print_exn_G.sml"

 end