nominal2: Changelog

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

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'.

nominal2