1 (*
2 $ cd /usr/local/isabisac/test/Tools/isac
3 $ /usr/local/isabisac/bin/isabelle emacs Run_Tests.thy &
4
5 *)
6
7 theory Run_Tests imports Main begin
8
9 use "ProgLang/term.sml"
10
11 end