nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 22:29:42 +0100] rev 2278

conclusion done

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 16 Jun 2010 14:26:23 +0200] rev 2277

Answer questions in comments

Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 03:47:38 +0100] rev 2276

tuned

Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 03:44:10 +0100] rev 2275

finished section 4, but put some things I do not understand on comment

Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 02:55:52 +0100] rev 2274

4 almost finished

Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 22:25:03 +0200] rev 2273

cleaned up definitions

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 12:00:03 +0200] rev 2272

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 11:59:16 +0200] rev 2271

qpaper/Rewrite section5

Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 09:44:16 +0200] rev 2270

merged

Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 08:56:13 +0200] rev 2269

tuned everytinh up to section 4

nominal2