Changes in Product.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/THF/Test/Product.hascasl en Copyright 2005 Java * fixed a bug in Common.GraphAlgo.yen (first node in a path can be the spur node too) * removed debug output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17833 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/THF/Test/Product.hascasl - 1caac17e785f1133f7c4d9a97f367f7832823cfc Jonathan von Schroeder <sternkinder@gmail.com> added products to comorphism from HasCASL to THF git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17664 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/THF/Test/Product.hascasl - ce2aa52cf67a45b753e1695a46d0ba8400934fa7 Jonathan von Schroeder <sternkinder@gmail.com>