olaf 2004/10/12 11:21:23 PDT Modified files: src/hattools HatSource.hs Log: 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. Revision Changes Path 1.14 +38 -21 hat/src/hattools/HatSource.hs