| 333b3bcba8d8a6ebfb6bc0db330af4951f20f83f |
|
30-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
updated description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6401 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 52dfed46ece7ff53f0054eb02495a26e15d0dca8 |
|
24-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
corrected a typo and changed the document structure
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6386 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a4f6dfae7bf73455d252129464ff4e7201c9bc3a |
|
23-May-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
description of Grothendieck mappings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6374 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b6440c1f278eb948475d91d5840321d8f6b80b3a |
|
23-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Description of dg2dg translator function (in German!)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6372 cec4b9c1-7d33-0410-9eda-942365e851bb |