nominal2: Changelog

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

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 10:08:12 +0200] rev 2268

Definition of Respects.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 09:22:38 +0200] rev 2267

conclusion

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 09:12:54 +0200] rev 2266

Qpaper / Clarify the typing system and composition of quotients issue.

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

nominal2