nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 07:58:33 +0200] rev 2265

Remove only reference to 'equivp'.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 07:54:30 +0200] rev 2264

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 07:52:42 +0200] rev 2263

qpaper/ackno

Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 06:50:33 +0200] rev 2262

tuned

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 06:35:57 +0200] rev 2261

qpaper

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 05:43:21 +0200] rev 2260

qpaper / hol4

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 05:32:50 +0200] rev 2259

qpaper/related work

Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 02:03:18 +0200] rev 2258

finished preliminary section

Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 19:03:34 +0200] rev 2257

typo

Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 19:02:25 +0200] rev 2256

some slight tuning of the preliminary section

nominal2