(*  Title:      HOL/Import/HOL/ROOT.ML
    ID:         $Id: ROOT.ML,v 1.8 2005/09/28 23:00:05 wenzelm Exp $
    Author:     Sebastian Skalberg (TU Muenchen)
*)

setmp quick_and_dirty true use_thy "HOL4Prob";
setmp quick_and_dirty true use_thy "HOL4";
