nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 26 Feb 2010 15:10:55 +0100] rev 1278

Change in signature of prove_const_rsp for general lifting.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 26 Feb 2010 13:57:43 +0100] rev 1277

Permutation and FV_Alpha interface change.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 26 Feb 2010 10:34:04 +0100] rev 1276

To call quotient it is enough to export the alpha frees to proper constants and their respective equivp theorems.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 15:41:23 +0100] rev 1275

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 15:40:09 +0100] rev 1274

Preparing the generalized lifting procedure

Christian Urban <urbanc@in.tum.de> [Thu, 25 Feb 2010 14:20:40 +0100] rev 1273

merged

Christian Urban <urbanc@in.tum.de> [Thu, 25 Feb 2010 14:20:10 +0100] rev 1272

added ott-example about Leroy96

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 14:14:40 +0100] rev 1271

Forgot to add one file.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 14:14:08 +0100] rev 1270

Split Terms into separate files and add them to tests.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 12:32:15 +0100] rev 1269

merge

nominal2