History log of /hets/THF/Test/Product.hascasl
Revision Date Author Comments Expand
1caac17e785f1133f7c4d9a97f367f7832823cfc 27-Mar-2013 Jonathan von Schroeder <sternkinder@gmail.com>

* 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

ce2aa52cf67a45b753e1695a46d0ba8400934fa7 02-Dec-2012 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