nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:46:07 +0200] rev 2307

merged

Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:21:01 +0200] rev 2306

equivariance done

Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:01:05 +0200] rev 2305

smaller code for raw-eqvt proofs

Christian Urban <urbanc@in.tum.de> [Mon, 31 May 2010 19:57:29 +0200] rev 2304

all raw definitions are defined using function

Christian Urban <urbanc@in.tum.de> [Thu, 27 May 2010 18:40:10 +0200] rev 2303

merged

Christian Urban <urbanc@in.tum.de> [Thu, 27 May 2010 18:37:52 +0200] rev 2302

intermediate state

Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:37:56 +0200] rev 2301

merged

Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:34:54 +0200] rev 2300

added FSet to the correct paper

Christian Urban <urbanc@in.tum.de> [Tue, 25 May 2010 00:24:41 +0100] rev 2299

added slides

Christian Urban <urbanc@in.tum.de> [Mon, 24 May 2010 21:11:33 +0100] rev 2298

tuned

nominal2