neuper@38004: (*
neuper@38004: $ cd /usr/local/Isabelle2009-1/src/Tools/isac
neuper@38004: $ /usr/local/isabisac/bin/isabelle usedir -b HOL Isac
neuper@38004: 
neuper@38004: *)
neuper@38004: 
neuper@38004: use_thys ["Build_Isac"];