src/HOLCF/IMP/ROOT.ML

tidied load path handling;

(*  Title:      HOLCF/IMP/ROOT.ML
    ID:         $Id$
    Author:     Tobias Nipkow
    Copyright   1997  TU Muenchen
*)

add_path "../../HOL/IMP";
use_thy "Natural";

reset_path ();
use_thy "HoareEx";