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