(*  Title:      HOL/Import/Generate-HOLLight/ROOT.ML
    ID:         $Id: ROOT.ML,v 1.1 2005/09/12 13:52:00 obua Exp $
    Author:     Steven Obua and Sebastian Skalberg (TU Muenchen)
*)

use_thy "GenHOLLight";
