1 (*
2 $ cd /usr/local/Isabelle2009-1/src/Tools/isac
3 $ /usr/local/isabisac/bin/isabelle usedir -b HOL Isac
4
5 *)
6
7 use_thys ["Build_Isac"];