Changes in dg2dg_translation http://src.iws.cs.ovgu.de/source/rss/hets/doc/dg2dg_translation en Copyright 2005 Java updated description git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6401 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/doc/dg2dg_translation - 333b3bcba8d8a6ebfb6bc0db330af4951f20f83f 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 /hets/doc/dg2dg_translation - 52dfed46ece7ff53f0054eb02495a26e15d0dca8 Klaus Luettich <luettich@informatik.uni-bremen.de> description of Grothendieck mappings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6374 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/doc/dg2dg_translation - a4f6dfae7bf73455d252129464ff4e7201c9bc3a Till Mossakowski <mossakow@iws.cs.uni-magdeburg.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 /hets/doc/dg2dg_translation - b6440c1f278eb948475d91d5840321d8f6b80b3a Klaus Luettich <luettich@informatik.uni-bremen.de>