| 4692b8b63985ab174478d389e20a544054e09ce8 |
|
03-May-2010 |
Karl Luc <kluc@tzi.de> |
added clf extension to hets and .clf files readable with Logic = Common Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13415 cec4b9c1-7d33-0410-9eda-942365e851bb |