nominal2: Changelog

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

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

Lambda & SOLVED' for new quotient_tac

Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 17:35:31 +0100] rev 369

merged

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 17:00:53 +0100] rev 368

Conversion

nominal2