2010-04-04 | Christian Urban | separated general nominal theory into separate folder | changeset | files |
2010-04-03 | Christian Urban | added README and moved examples into separate directory | changeset | files |
2010-04-03 | Christian Urban | merged pearl paper with this repository; started litrature subdirectory | changeset | files |
2010-04-02 | Christian Urban | submitted version (just in time ;o) | changeset | files |
Loading... |