Loads HoareEx now.

--- a/src/HOLCF/IMP/ROOT.ML	Tue Sep 09 11:15:32 1997 +0200
+++ b/src/HOLCF/IMP/ROOT.ML	Tue Sep 09 12:08:28 1997 +0200
@@ -15,4 +15,4 @@
 make_html := old_make_html;
 loadpath := ["."];
 
-use_thy "Denotational";
+use_thy "HoareEx";