nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 11:46:59 +0100] rev 380

deleted some obsolete diagnostic code

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 11:41:42 +0100] rev 379

Removed unused things from QuotMain.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 10:52:21 +0100] rev 378

All examples work again.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 10:39:53 +0100] rev 377

cleaning in MyInt

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 10:34:03 +0100] rev 376

lambda_prs and cleaning the existing examples.

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 03:47:07 +0100] rev 375

merged

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 03:45:44 +0100] rev 374

fixed the problem with generalising variables; at the moment it is quite a hack

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 20:13:16 +0100] rev 373

Ho-matching failures...

Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 19:09:29 +0100] rev 372

changed unification to matching

Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 18:13:57 +0100] rev 371

unification

nominal2