[cvs-nhc98] patch applied (hat): Now it is also possible to declare trusted reductions to be wrong or of unknown correctness.

[Malcolm Wallace]

Tue Oct 12 11:21:22 PDT 2004  olaf
  * Now it is also possible to declare trusted reductions to be wrong or of unknown correctness.
  
  So the difference between trusted and suspected reductions is that without a different declaration by the programmer the former are by default correct, the later are by default unknown.

    M ./src/hattools/HatExplore.hs -21 +38