History log of /hets/HasCASL/test/CastFun.hascasl
Revision Date Author Comments Expand
b5ae094776014b09c5d8b9f3fc91cbe3041211d8 24-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

error when subtyping function types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4495 cec4b9c1-7d33-0410-9eda-942365e851bb