nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 15 Apr 2010 13:55:44 +0200] rev 1854

alpha4_eqvt and alpha4_reflp

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 15 Apr 2010 12:27:36 +0200] rev 1853

fv_eqvt in term4

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 15 Apr 2010 12:15:38 +0200] rev 1852

Updating in Term4.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 15 Apr 2010 12:08:46 +0200] rev 1851

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 15 Apr 2010 11:42:28 +0200] rev 1850

Prove insert_rsp2

Christian Urban <urbanc@in.tum.de> [Thu, 15 Apr 2010 12:07:54 +0200] rev 1849

merged

Christian Urban <urbanc@in.tum.de> [Thu, 15 Apr 2010 12:07:34 +0200] rev 1848

changed header

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 15 Apr 2010 11:05:54 +0200] rev 1847

Minor paper fixes.

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 22:41:22 +0200] rev 1846

temporary fix for CoreHaskell

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 22:23:52 +0200] rev 1845

deleted offending [eqvt]-attribute in Abs; Lambda works again, but there is now a problem in CoreHaskell

nominal2