1 (*
2 $ cd /usr/local/Isabelle2009-1/src/Tools/isac
3 $ /usr/local/isabisac/bin/isabelle usedir -b HOL Isac
4 $ ls -l /home/neuper/.isabelle/heaps/polyml-5.3.0_x86-linux/Isac
5 *)
6
7 use_thys ["Build_Isac"];