Changes in Haskell.strategy http://src.iws.cs.ovgu.de/source/rss/hets/CASL/Termination/Haskell.strategy en Copyright 2005 Java AProVE preview version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5958 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Termination/Haskell.strategy - b25d85bf345ca7bf9dd626e1032048458db74f3c Mingyi Liu <xinga@tzi.de>