(*  Title:      HOL/Import/Generate-HOL/ROOT.ML
    ID:         $Id: ROOT.ML,v 1.3 2005/04/01 16:59:17 skalberg Exp $
    Author:     Sebastian Skalberg (TU Muenchen)
*)

use_thy "GenHOL4Prob";
use_thy "GenHOL4Vec";
use_thy "GenHOL4Word32";
