| cba0aeea95db26960d4d2e5a1dd571f17a5b7ae4 |
|
11-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Common Logic imports reads in the whole file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16249 cec4b9c1-7d33-0410-9eda-942365e851bb |