nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 07 Oct 2010 14:23:32 +0900] rev 2515

minor

Christian Urban <urbanc@in.tum.de> [Wed, 06 Oct 2010 21:32:44 +0100] rev 2514

down to 21 pages and changed strong induction section

Christian Urban <urbanc@in.tum.de> [Wed, 06 Oct 2010 08:13:09 +0100] rev 2513

tuned

Christian Urban <urbanc@in.tum.de> [Wed, 06 Oct 2010 08:09:40 +0100] rev 2512

down to 22 pages

Christian Urban <urbanc@in.tum.de> [Tue, 05 Oct 2010 21:48:31 +0100] rev 2511

down to 23 pages

Christian Urban <urbanc@in.tum.de> [Tue, 05 Oct 2010 08:43:49 +0100] rev 2510

down to 24 pages and a bit

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

nominal2