History log of /hets/test/Sorting1.casl
Revision Date Author Comments Expand
fb5587152ca9e32b1666be9094690b6420702039 16-Apr-2005 Tina Kraußer <tina@krausser.net>

first simplifier-rules implemented git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4070 cec4b9c1-7d33-0410-9eda-942365e851bb
004688a1d1c27cacba7b01668a30d6ea9068a034 06-Aug-2004 Christian Maeder <Christian.Maeder@dfki.de>

translate to Haskell example git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3013 cec4b9c1-7d33-0410-9eda-942365e851bb