History log of /hets/HasCASL/test/Foldl.hascasl
Revision Date Author Comments Expand
71e2518476f672b6cd36d3d0256cfc2e0cb5c9a6 12-Jan-2005 Christian Maeder <Christian.Maeder@dfki.de>

added 'head nil' example git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3662 cec4b9c1-7d33-0410-9eda-942365e851bb
a47c2fa2e6f959970a3589f90785a37a9ec30f7f 12-Jan-2005 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