| Fri, 30 May 2014 12:05:57 +0100 | Christian Urban |
merged | changeset | files |
| Tue, 20 May 2014 20:21:29 +0800 | wuc | test if can write | changeset | files |
| Fri, 30 May 2014 12:04:49 +0100 | Christian Urban |
soem more work | changeset | files |
| Tue, 29 Apr 2014 15:26:48 +0100 | Christian Urban |
added FMap theory and adapted tm-theory | changeset | files |
| Fri, 04 Apr 2014 13:15:07 +0100 | Christian Urban |
deleted AList theory, which is not necessary | changeset | files |
| Thu, 03 Apr 2014 15:28:01 +0100 | Christian Urban |
added a version using finfuns | changeset | files |