Changes in Foldl.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/Foldl.hascasl en Copyright 2005 Java added 'head nil' example git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3662 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Foldl.hascasl - 71e2518476f672b6cd36d3d0256cfc2e0cb5c9a6 Christian Maeder <Christian.Maeder@dfki.de> test function type extraction git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3661 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Foldl.hascasl - a47c2fa2e6f959970a3589f90785a37a9ec30f7f Christian Maeder <Christian.Maeder@dfki.de>