| fc6b231dc3daf448b2a6d8b73aa7b052d1637d80 |
|
01-Sep-2009 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
up to sec 3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12390 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6baf76258c9aaea1d5a535c9b5213613d6435ef5 |
|
01-Sep-2009 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
intro nearly done
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12385 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c116781701721a03a936ecdcc9358e14d6ccc17f |
|
21-Aug-2009 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
coalgebra bibliography
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12226 cec4b9c1-7d33-0410-9eda-942365e851bb |