| e8fb767fb6c620c28261b928c2221153f3559b31 |
|
01-Feb-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
ported most metatheoretical relation annotations to HetCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16643 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e11cf710af51edc40a31a6acb70b1c9e868651a3 |
|
26-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
changed cl:foo to cl-foo syntax; partly removed obsolete CLIF-embedded theory relation annotation in favor of HetCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16637 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1d9290e729b7cd9a6f666432934fd890a9766fbd |
|
21-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
example for relative interpretation (COLORE annotation and HetCASL view)
example for heterogeneous views
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16613 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4abae525d8c7337e817afc2f831e4c94bd880751 |
|
20-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
refactored entries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16610 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5f60cf66343b307cbfd776be981fd4ae684e1fbd |
|
18-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
improved Hets User Guide for Common Logic Users
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16326 cec4b9c1-7d33-0410-9eda-942365e851bb |