src/HOLCF/IMP/ROOT.ML
changeset 3663 e2d1e1151314
parent 2798 f84be65745b2
child 3954 c8c188655948
     1.1 --- a/src/HOLCF/IMP/ROOT.ML	Tue Sep 09 11:15:32 1997 +0200
     1.2 +++ b/src/HOLCF/IMP/ROOT.ML	Tue Sep 09 12:08:28 1997 +0200
     1.3 @@ -15,4 +15,4 @@
     1.4  make_html := old_make_html;
     1.5  loadpath := ["."];
     1.6  
     1.7 -use_thy "Denotational";
     1.8 +use_thy "HoareEx";