| 85c51e5460cc1a90375c89d1ffbac867636fe68c |
|
17-Feb-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
corrected description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14569 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a51b009f79b8bd39d71571e01e607173b134cce8 |
|
17-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock marker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14567 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 630d56a3bb2213a0b9651804c992753e42ef8b93 |
|
17-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added module header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14566 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 37bca994f215449238dd0c8308a94a83ae184d38 |
|
16-Feb-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
some pointers for logical frameworks in Hets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14560 cec4b9c1-7d33-0410-9eda-942365e851bb |