| Tue, 03 May 2011 13:25:02 +0100 | Christian Urban | deleted two functions from the API | changeset | files |
| Tue, 03 May 2011 13:09:08 +0100 | Christian Urban | proved that lfp is equivariant (that simplifies equivariance proofs of inductively defined predicates) | changeset | files |
| Mon, 09 May 2011 04:46:43 +0100 | Christian Urban | more on pearl-paper | changeset | files |
| Wed, 04 May 2011 15:27:04 +0800 | Christian Urban | more on pearl-paper | changeset | files |
| Mon, 02 May 2011 13:01:02 +0800 | Christian Urban | updated Quotient paper so that it compiles again | changeset | files |
| Thu, 28 Apr 2011 11:51:01 +0800 | Christian Urban | merged | changeset | files |
| Thu, 28 Apr 2011 11:44:36 +0800 | Christian Urban | added slides for beijing | changeset | files |