nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 21:01:53 +0100] rev 402

recommited changes of comments

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 20:32:56 +0100] rev 401

Merge Again

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 20:32:33 +0100] rev 400

Merged

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 20:18:36 +0100] rev 399

tuned comments

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 19:51:31 +0100] rev 398

some diagnostic code for r_mk_comb

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 16:23:24 +0100] rev 397

introduced a new property for Ball and ===> on the left

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 13:52:46 +0100] rev 396

fixed QuotList

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 13:46:00 +0100] rev 395

changed left-res

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 12:21:47 +0100] rev 394

Manually regularized akind_aty_atrm.induct

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 10:52:24 +0100] rev 393

Playing with Monos in LFex.

nominal2