b1c052f1c57bdc50579fb82823f00c88e1a3407e |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided Ord constraint for sets and maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15869 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fc726ee81f01ddb1a25cfc6eac7f2f88ef28e58 |
|
16-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted file properties
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14324 cec4b9c1-7d33-0410-9eda-942365e851bb |
0347babd4d9fe70aad8f1e5fab0604fda0348d37 |
|
06-Oct-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted license
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14108 cec4b9c1-7d33-0410-9eda-942365e851bb |
b0b5ce95f738d35e520c20d1b0bd253f152a677f |
|
14-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored aterm package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12127 cec4b9c1-7d33-0410-9eda-942365e851bb |
05a62e84edac8c64de04f8349dee418598d216b9 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12113 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf25e8c286cda74ef89a9cbc3c2143557e0d49c3 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
let cabal check go through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12112 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef9e8535c168d3f774d9e74368a2317a9eda5826 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ATerm library to separate directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12107 cec4b9c1-7d33-0410-9eda-942365e851bb |