nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 05 Oct 2010 07:30:37 +0100] rev 2509

llncs and more sqeezing

Christian Urban <urbanc@in.tum.de> [Mon, 04 Oct 2010 12:39:57 +0100] rev 2508

first part of sqeezing everything into 20 pages (at the moment we have 26)

Christian Urban <urbanc@in.tum.de> [Mon, 04 Oct 2010 07:25:37 +0100] rev 2507

changed to llncs

Christian Urban <urbanc@in.tum.de> [Fri, 01 Oct 2010 07:11:47 -0400] rev 2506

merged

Christian Urban <urbanc@in.tum.de> [Fri, 01 Oct 2010 07:09:59 -0400] rev 2505

minor experiments

Christian Urban <urbanc@in.tum.de> [Thu, 30 Sep 2010 07:43:46 -0400] rev 2504

merged

Christian Urban <urbanc@in.tum.de> [Wed, 29 Sep 2010 16:49:13 -0400] rev 2503

simplified exhaust proofs

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 01 Oct 2010 15:44:50 +0900] rev 2502

Made the paper to compile with the renamings.

nominal2