--- a/src/HOLCF/HOLCF.ML Fri Jun 17 17:49:03 1994 +0200 +++ b/src/HOLCF/HOLCF.ML Mon Jun 20 12:03:16 1994 +0200 @@ -15,6 +15,7 @@ addsimps tr_when addsimps andalso_thms addsimps orelse_thms + addsimps neg_thms addsimps ifte_thms;